Wolfram Research

General Topology EntityStore

Entity store representing definitions and theorems of point-set topology

Originator: James Munkres

Examples

Basic Examples

Retrieve the ResourceObject:

In[1]:=
ResourceObject["General Topology EntityStore"]
Out[1]=

View the data:

In[2]:=
ResourceData["General Topology EntityStore"]
Out[2]=

Register the EntityStore:

In[3]:=
EntityRegister[ResourceData["General Topology EntityStore"]]
Out[3]=

Activate usage messages and add “GeneralTopology`” to your $ContextPath:

In[4]:=
EntityValue[Entity["GeneralTopologyTheorem"], "Activate"] // Activate;

Activate traditional form formatting:

In[5]:=
EntityValue[Entity["GeneralTopologyTheorem"], "TraditionalFormMakeBoxAssignments"] // Activate;
In[6]:=
SetBuilder[x^2, x \[Element] Reals] // TraditionalForm
Out[6]=

View random concepts:

In[7]:=
RandomEntity["GeneralTopologyConcept", 5]
Out[7]=

View random theorems:

In[8]:=
RandomEntity["GeneralTopologyTheorem", 5]
Out[8]=

Visualization

View full theorem statements:

In[9]:=
Entity["GeneralTopologyTheorem", "ClassicalAscolisTheorem"]["SummaryGrid"]
Out[9]=

View relationships between concepts and theorems:

In[10]:=
conceptNodes = Style[#, RGBColor[0.65, 1, 0.65]] & /@ EntityList["GeneralTopologyConcept"];
theoremNodes = Style[#, RGBColor[1, 1, 0.5]] & /@ 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];
Graph[nodes, edges, EdgeStyle -> RGBColor[0.65, 0.65, 1]]
Out[16]=

Wolfram Research, "General Topology EntityStore" from the Wolfram Data Repository (2016) https://doi.org/10.24097/wolfram.56398.data

Data Resource History

Source Metadata

Data Downloads

Publisher Information