Basic Examples
Basic Examples
Retrieve the ResourceObject:
In[]:=
ResourceObject["General Topology EntityStore"]
Out[]=
View the data:
In[]:=
ResourceData["General Topology EntityStore"]
Out[]=
Register the EntityStore:
In[]:=
EntityRegister[ResourceData["General Topology EntityStore"]]
Out[]=
{GeneralTopologyConcept}
Activate usage messages and add “GeneralTopology`” to your $ContextPath:
In[]:=
EntityValue[Entity["GeneralTopologyTheorem"],"Activate"]//Activate;
Activate traditional form formatting:
In[]:=
EntityValue[Entity["GeneralTopologyTheorem"],"TraditionalFormMakeBoxAssignments"]//Activate;
In[]:=
SetBuilder[x^2,x∈Reals]//TraditionalForm
Out[]//TraditionalForm=
{ | x∈}
2
x
View random concepts:
In[]:=
RandomEntity["GeneralTopologyConcept",5]
Out[]=
,,,,
View random theorems:
In[]:=
RandomEntity["GeneralTopologyTheorem",5]
Out[]=
,,,,
Visualization
Visualization
View full theorem statements:
In[]:=
Entity["GeneralTopologyTheorem","ClassicalAscolisTheorem"]["SummaryGrid"]
Out[]=
Theorem | ClassicalAscolisTheorem | ||||
Label | classical Ascoli's Theorem | ||||
AlternateNames | MunkresTheorem45.4 | ||||
QualifyingObjects | F,,n | ||||
Notation |
| ||||
Restrictions |
| ||||
Statement | the family F of maps ⟶( n n Hom Top n X ( n | ||||
References | James Munkres. Topology. pp. 278-279, 2000 | ||||
RelatedConcepts | EuclideanMetric,IsCompact,EuclideanSpace,IsPrecompactSubsetOf,AsTopologicalSubspaceOf,SpaceWithUniformTopology,IsEquicontinuous,IsPointwiseBounded |
View relationships between concepts and theorems:
In[]:=
conceptNodes=Style#,&/@EntityList["GeneralTopologyConcept"];theoremNodes=Style#,&/@EntityList["GeneralTopologyTheorem"];nodes=Join[conceptNodes,theoremNodes];conceptEdges=Flatten[Thread/@Normal@Select[EntityValue["GeneralTopologyConcept","RelatedConcepts","EntityAssociation"],Length[#]>0&]];theoremEdges=Flatten[Thread/@Normal@Select[EntityValue["GeneralTopologyTheorem","RelatedConcepts","EntityAssociation"],Length[#]>0&]];edges=Join[conceptEdges,theoremEdges];Graphnodes,edges,EdgeStyle->
Out[]=