Search results
Results From The WOW.Com Content Network
The word "class" in the term "equivalence class" may generally be considered as a synonym of "set", although some equivalence classes are not sets but proper classes. For example, "being isomorphic" is an equivalence relation on groups, and the equivalence classes, called isomorphism classes, are not sets.
Equivalence relations are a ready source of examples or counterexamples. For example, an equivalence relation with exactly two infinite equivalence classes is an easy example of a theory which is ω-categorical, but not categorical for any larger cardinal number.
This defines an equivalence relation on the set of almost homomorphisms. Real numbers are defined as the equivalence classes of this relation. Alternatively, the almost homomorphisms taking only finitely many values form a subgroup, and the underlying additive group of the real number is the quotient group.
Intuitively speaking, the points of each equivalence class are identified or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space.
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group.
An interesting question is to ask, given a symmetry class and a dimension of the Brillouin zone, what are all the equivalence classes of Hamiltonians. Each equivalence class can be labeled by a topological invariant; two Hamiltonians whose topological invariant are different cannot be deformed into each other and belong to different equivalence ...
In particular, the equivalence classes are given by homotopies that are constant on the basepoint of the sphere. Equivalently, define () to be the group of homotopy classes of maps : [,] from the n-cube to X that take the boundary of the n-cube to b. Composition in the fundamental group
All equivalence classes are infinite; All equivalence classes have size exactly n (for any fixed positive integer n). The theory of an equivalence relation with exactly 2 infinite equivalence classes is an easy example of a theory which is ω-categorical but not categorical for any larger cardinal. The equivalence relation ~ should not be ...