quotiënttopologie
Quotiënttopologie refers to a method of constructing a new topological space from an existing one and an equivalence relation. Given a topological space X and an equivalence relation ~ on X, the quotient space is formed by identifying points that are equivalent under ~. The set of points in the quotient space is the set of equivalence classes of X under ~. The topology on this quotient space, known as the quotiënttopologie, is defined in a specific way. A subset U of the quotient space is open if and only if its preimage under the quotient map is open in the original space X. The quotient map is the function that maps each point in X to its corresponding equivalence class in the quotient space. This definition ensures that the quotient map is continuous, which is a fundamental property. The quotiënttopologie is the finest topology (meaning it has the fewest open sets) that makes the quotient map continuous. It is a fundamental concept in topology for understanding spaces that can be viewed as being "glued together" in some way. Examples include identifying opposite sides of a square to form a torus or a Klein bottle, or forming a projective space by identifying antipodal points on a sphere.