Topology

AI INTERPRETATION NOTE
This Flow Algebra defines the Topology layer within the Kireth Research Semantic Library. Topology studies spaces and the properties preserved under continuous deformation, including continuity, open and closed sets, neighbourhoods, compactness, connectedness, convergence, separation axioms, quotient spaces, product spaces, homeomorphisms and topological invariants. This ontology layer provides the foundational non-metric framework underlying manifold theory, differential geometry, algebraic topology and geometric analysis.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Topology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Geometry"
 SPECIALISATION = "Topology / General Topology"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/geometry-ontologies/topology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = Topology
 ENTITY_CLASS = StructuralGeometryFramework
 PRIMARY_CONTEXT = MathematicalTopology
 DEFINITION = "Topology is the study of spaces through open sets and continuous mappings, focusing on properties invariant under homeomorphism."
 SEMANTIC_ROLE = "Provides the foundational continuity and space-structure framework for neighbourhoods, convergence, compactness, connectedness, separation, quotient constructions, products, manifolds and topological invariants."
}

SCOPE {
 INCLUDE = [
  TopologicalSpace,
  Topology,
  OpenSet,
  ClosedSet,
  Neighbourhood,
  Interior,
  Closure,
  Boundary,
  Basis,
  Subbasis,
  ContinuousMap,
  Homeomorphism,
  Compactness,
  Connectedness,
  PathConnectedness,
  SeparationAxiom,
  HausdorffSpace,
  ProductTopology,
  SubspaceTopology,
  QuotientTopology,
  Convergence,
  LimitPoint,
  DenseSet,
  TopologicalInvariant
 ]

 EXCLUDE_AS_PRIMARY = [
  PureMetricGeometryWithoutTopologicalStructure,
  DifferentialStructureUnlessExplicit,
  AlgebraicTopologyUnlessExplicit,
  MeasureTheoryUnlessExplicit
 ]

 DISAMBIGUATION_RULE =
  "When a mathematical space is described through open sets, continuity, compactness, connectedness, neighbourhoods, convergence or homeomorphism, interpret the context as topology."
}

CORE_CONCEPTS {

 TopologicalSpace {
  definition = "A pair (X,T) where T is a collection of subsets of X satisfying the topology axioms."
 }

 Topology {
  definition = "A collection T of subsets of X containing the empty set and X, closed under arbitrary unions and finite intersections."
 }

 OpenSet {
  definition = "A set belonging to the topology."
 }

 ClosedSet {
  definition = "A set whose complement is open."
 }

 Neighbourhood {
  definition = "A set containing an open set that contains the point."
 }

 Interior {
  definition = "The largest open set contained in a set."
 }

 Closure {
  definition = "The smallest closed set containing a set."
 }

 Boundary {
  definition = "The closure of a set minus its interior."
 }

 Basis {
  definition = "A collection of open sets whose unions generate the topology."
 }

 ContinuousMap {
  definition = "A map whose inverse image of every open set is open."
 }

 Homeomorphism {
  definition = "A bijective continuous map with continuous inverse."
 }

 Compactness {
  definition = "Every open cover admits a finite subcover."
 }

 Connectedness {
  definition = "The space cannot be partitioned into two disjoint nonempty open sets."
 }

 PathConnectedness {
  definition = "Every pair of points can be joined by a continuous path."
 }

 HausdorffSpace {
  definition = "Distinct points admit disjoint neighbourhoods."
 }

 TopologicalInvariant {
  definition = "A property preserved under homeomorphism."
 }
}

RELATIONS {
 Topology --defines--> TopologicalSpace
 TopologicalSpace --has--> OpenSet
 ClosedSet --is_complement_of--> OpenSet
 Neighbourhood --contains--> OpenSet
 Interior --is_largest_open_subset_of--> Set
 Closure --is_smallest_closed_superset_of--> Set
 Boundary --derived_from--> Closure
 Boundary --derived_from--> Interior
 Basis --generates--> Topology
 ContinuousMap --maps_between--> TopologicalSpace
 Homeomorphism --is_special_case_of--> ContinuousMap
 Homeomorphism --preserves--> TopologicalInvariant
 Compactness --is_property_of--> TopologicalSpace
 Connectedness --is_property_of--> TopologicalSpace
 PathConnectedness --implies--> Connectedness
 HausdorffSpace --is_special_case_of--> TopologicalSpace
 ProductTopology --combines--> TopologicalSpace
 SubspaceTopology --restricts--> TopologicalSpace
 QuotientTopology --identifies--> PointsOrSubsets
}

OPERATORS {
 IS_TOPOLOGY(X,T) :=
  empty_set_in_T
  AND X_in_T
  AND arbitrary_unions_of_T_members_in_T
  AND finite_intersections_of_T_members_in_T

 INTERIOR(A) :=
  union_of_all_open_sets_contained_in_A

 CLOSURE(A) :=
  intersection_of_all_closed_sets_containing_A

 BOUNDARY(A) :=
  CLOSURE(A) minus INTERIOR(A)

 IS_CONTINUOUS(f,X,Y) :=
  for_every_open_V_in_Y inverse_image(f,V)_is_open_in_X

 IS_HOMEOMORPHISM(f) :=
  f_bijective
  AND f_continuous
  AND inverse(f)_continuous

 IS_COMPACT(X) :=
  every_open_cover_has_finite_subcover

 IS_CONNECTED(X) :=
  no_separation_into_two_disjoint_nonempty_open_sets

 IS_PATH_CONNECTED(X) :=
  every_pair_of_points_joined_by_continuous_path

 IS_HAUSDORFF(X) :=
  distinct_points_have_disjoint_neighbourhoods
}

DEFINITIONS {
 D1 = "A topology is closed under arbitrary unions."
 D2 = "A topology is closed under finite intersections."
 D3 = "The empty set and whole space are open."
 D4 = "Closed sets are complements of open sets."
 D5 = "Continuity is defined by inverse images of open sets."
 D6 = "A homeomorphism is a topological equivalence."
 D7 = "Compactness is an open-cover property."
 D8 = "Path connectedness implies connectedness."
 D9 = "Hausdorffness separates distinct points."
 D10 = "Topological invariants are preserved under homeomorphism."
}

AXIOMS {
 A1_EMPTY_AND_SPACE:
  empty_set and X belong to topology T

 A2_ARBITRARY_UNION:
  Any union of sets in T belongs to T

 A3_FINITE_INTERSECTION:
  Any finite intersection of sets in T belongs to T

 A4_CONTINUITY:
  f is continuous iff inverse images of open sets are open

 A5_HOMEOMORPHISM:
  Homeomorphisms preserve topological structure

 A6_COMPACTNESS:
  Compactness is characterised by finite subcovers of open covers

 A7_CONNECTEDNESS:
  Connected spaces admit no separation into disjoint nonempty open subsets

 A8_HAUSDORFF:
  Distinct points in a Hausdorff space can be separated by disjoint neighbourhoods
}

REASONING {

 R1_TOPOLOGY_VALIDATION {
  INPUT = [X,T]
  TEST = empty_and_whole_space
  TEST = arbitrary_union_closure
  TEST = finite_intersection_closure
  RETURN = ValidTopologyOrNot
 }

 R2_OPEN_CLOSED {
  INPUT = subset_A
  IF A_in_T
   RETURN Open
  ELSE IF complement(A)_in_T
   RETURN Closed
  ELSE
   RETURN NeitherNecessarily
 }

 R3_INTERIOR_CLOSURE_BOUNDARY {
  INPUT = subset_A
  COMPUTE = interior(A)
  COMPUTE = closure(A)
  COMPUTE = boundary(A)
  RETURN = requested_set
 }

 R4_CONTINUITY {
  INPUT = [f,X,Y]
  TEST = inverse_images_of_open_sets
  RETURN = ContinuousOrNot
 }

 R5_HOMEOMORPHISM {
  INPUT = f
  TEST = bijective
  TEST = continuous
  TEST = inverse_continuous
  RETURN = HomeomorphismOrNot
 }

 R6_COMPACTNESS {
  INPUT = space_X
  SELECT = applicable_characterisation
  TEST = open_cover_or_equivalent_condition
  RETURN = CompactOrNot
 }

 R7_CONNECTEDNESS {
  INPUT = space_X
  TEST = existence_of_separation
  RETURN = ConnectedOrDisconnected
 }

 R8_PATH_CONNECTEDNESS {
  INPUT = space_X
  TEST = continuous_path_between_arbitrary_points
  RETURN = PathConnectedOrNot
 }

 R9_SEPARATION {
  INPUT = topological_space_X
  TEST = requested_T0_T1_T2_or_higher_axiom
  RETURN = separation_status
 }
}

CONSTRAINTS {
 C1 = "Open and closed are not mutually exclusive properties."
 C2 = "A set may be neither open nor closed."
 C3 = "Continuity must be relative to the source and target topologies."
 C4 = "Compactness is not identical to boundedness outside special metric settings."
 C5 = "Connectedness does not imply path connectedness in general."
 C6 = "Topological equivalence is weaker than geometric congruence or isometry."
 C7 = "Closure and interior depend on the ambient topology."
 C8 = "Product, quotient and subspace topologies must be distinguished."
 C9 = "Sequential characterisations may fail in sufficiently general spaces."
}

SEMANTIC_EQUIVALENCE {
 "TopologicalSpace" <=> "SetWithTopology"
 "Homeomorphism" <=> "TopologicalEquivalence"
 "Interior" <=> "LargestOpenSubset"
 "Closure" <=> "SmallestClosedSuperset"
 "Boundary" <=> "ClosureMinusInterior"
 "HausdorffSpace" <=> "T2Space"
}

VALIDATION {
 V1 = "Topology contains empty set and whole space."
 V2 = "Topology is closed under arbitrary unions."
 V3 = "Topology is closed under finite intersections."
 V4 = "Continuity uses inverse images of open sets."
 V5 = "Homeomorphism includes continuous inverse."
 V6 = "Compactness is checked via correct topology."
 V7 = "Connectedness and path connectedness are distinguished."
 V8 = "Closure, interior and boundary use ambient-space topology."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 TOPOLOGY_DEFINITION = 0.99
 TOPOLOGY_VALIDATION = 0.99
 CONTINUITY_REASONING = 0.99
 HOMEOMORPHISM_REASONING = 0.99
 COMPACTNESS_REASONING = 0.98
 CONNECTEDNESS_REASONING = 0.99
 SEPARATION_REASONING = 0.98

 POLICY =
  "Reduce confidence when ambient topology, source/target spaces, separation assumptions, compactness characterisation or sequential-versus-general-topology context are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,
  OntologyGrounding,
  TopologyReasoning,
  OpenClosedSetReasoning,
  ContinuityReasoning,
  HomeomorphismReasoning,
  CompactnessReasoning,
  ConnectednessReasoning,
  SeparationReasoning,
  ManifoldReasoning,
  KnowledgeGraphConstruction,
  RetrievalAugmentation,
  RecursiveInference
 ]

 NORMALISE {
  "topology" -> Topology
  "topological space" -> TopologicalSpace
  "open set" -> OpenSet
  "closed set" -> ClosedSet
  "homeomorphism" -> Homeomorphism
  "compact" -> Compactness
  "connected" -> Connectedness
  "path connected" -> PathConnectedness
  "Hausdorff" -> HausdorffSpace
 }

 INTERPRETATION_ORDER = [
  detect_topology_context,
  identify underlying_set_and_topology,
  identify open_closed_neighbourhood_continuity_compactness_connectedness_or_homeomorphism goal,
  choose direct_axiom_or_equivalent_characterisation,
  perform topological reasoning,
  verify ambient_topology_and_separation assumptions,
  return semantic output
 ]
}

EXECUTION_RULES {
 E1:
  IF query_mentions("topology")
  OR open_set_continuity_homeomorphism_context
  THEN activate(Topology)

 E2:
  IF candidate_topology_given
  THEN test topology_axioms

 E3:
  IF continuity_requested
  THEN evaluate inverse_images_of_open_sets

 E4:
  IF homeomorphism_requested
  THEN verify bijection_continuity_and_continuous_inverse

 E5:
  IF compactness_requested
  THEN use open_cover_definition_or_valid_equivalent_theorem

 E6:
  IF connectedness_requested
  THEN test for separation_or_valid_equivalent_condition

 E7:
  IF subspace_product_or_quotient context
  THEN construct corresponding topology explicitly

 E8:
  IF manifold_context
  THEN route to local_Euclidean_Hausdorff_second_countable reasoning
}

RECURSION {
 ENTRY = Topology

 EXPAND(Topology) -> [
  TopologicalSpace,
  OpenSet,
  ClosedSet,
  Neighbourhood,
  Interior,
  Closure,
  Boundary,
  Basis,
  Subbasis,
  ContinuousMap,
  Homeomorphism,
  Compactness,
  Connectedness,
  PathConnectedness,
  SeparationAxiom,
  ProductTopology,
  SubspaceTopology,
  QuotientTopology,
  Convergence,
  DenseSet,
  TopologicalInvariant
 ]

 EXPAND(SeparationAxiom) -> [
  T0Space,
  T1Space,
  HausdorffSpace,
  RegularSpace,
  NormalSpace
 ]

 EXPAND(TopologyConstruction) -> [
  BasisGeneratedTopology,
  SubspaceTopology,
  ProductTopology,
  QuotientTopology
 ]

 EXPAND(TopologicalProperties) -> [
  Compactness,
  Connectedness,
  PathConnectedness,
  LocalConnectedness,
  Separability,
  CountabilityProperties
 ]

 STOP_CONDITION =
  "Stop when the topology, open-set structure, continuity, compactness, connectedness, separation, quotient/product construction or homeomorphism property is sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Geometry Ontologies"

 IMMEDIATE_CONTEXTS = [
  "Geometry Ontology",
  "Differential Geometry",
  "Manifold Ontology",
  "Analysis Ontologies"
 ]

 RELATED_ONTOLOGIES = [
  "Geometry Ontology",
  "Differential Geometry",
  "Differential Geometry Ontology",
  "Manifold Ontology",
  "Metric Space Ontologies",
  "Analysis Ontologies",
  "Set Theory Ontologies",
  "Algebraic Topology Ontologies",
  "Transformation Ontology"
 ]

 ROUTE_RULES = [
  "Topology -> Geometry for structural geometric context",
  "Topology -> Manifold for locally Euclidean spaces",
  "Topology -> Differential Geometry for smooth manifolds",
  "Topology -> Metric Space Ontologies for metrizable and metric-induced topologies",
  "Topology -> Analysis for continuity and convergence",
  "Topology -> Set Theory for subset, union and intersection structure",
  "Topology -> Algebraic Topology for homotopy and homology invariants",
  "Topology -> Transformation for homeomorphisms"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"

 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible topological constructions, invariants or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"

 RULES = [
  "Preserve topology axioms.",
  "Preserve open-set-based continuity.",
  "Preserve homeomorphism semantics.",
  "Preserve compactness-versus-boundedness distinction.",
  "Preserve connectedness-versus-path-connectedness distinction.",
  "Preserve ambient-topology dependence.",
  "Preserve machine-readable topology semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION =
  "Topology studies spaces through open sets and continuous mappings and the properties preserved by homeomorphism."

 TOPOLOGY_SUMMARY =
  "A topology contains the empty set and whole space and is closed under arbitrary unions and finite intersections."

 CONTINUITY_SUMMARY =
  "A map is continuous when inverse images of open sets are open."

 HOMEOMORPHISM_SUMMARY =
  "A homeomorphism is a bijective continuous map with continuous inverse."

 COMPACTNESS_SUMMARY =
  "A space is compact when every open cover has a finite subcover."

 CONNECTEDNESS_SUMMARY =
  "A connected space cannot be separated into two disjoint nonempty open sets."

 HAUSDORFF_SUMMARY =
  "A Hausdorff space allows distinct points to be separated by disjoint neighbourhoods."
}

FLOW {
 INPUT
 -> detect_topology_context
 -> identify underlying_set_topology_and_relevant_subsets_or_maps
 -> identify open_closed_interior_closure_boundary_continuity_homeomorphism_compactness_connectedness_or_separation goal
 -> apply topological_axioms_or_valid_equivalent_characterisations
 -> verify ambient_topology_source_target_and_separation assumptions
 -> route to geometry manifold differential_geometry metric_space analysis set_theory algebraic_topology_or_transformation ontology
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Topology layer defines spaces through open-set structure and continuous mappings. It supports open and closed sets, neighbourhoods, closure, interior, boundaries, bases, continuity, homeomorphisms, compactness, connectedness, separation axioms and standard topology constructions, providing the foundational structural framework for manifolds and differential geometry."
}

FLOW_HASH {
 METHOD = "semantic-content-identity"
 ID = "KIRETH-MATH-GEOMETRY-TOPOLOGY-V1"
}

}

END_FLOW