Quotient Space (other)
Quotient space may refer to a quotient set when the sets under consideration are considered as spaces. In particular: *Quotient space (topology), in case of topological spaces *Quotient space (linear algebra), in case of vector spaces * Quotient space of an algebraic stack * Quotient metric space See also *Quotient object In category theory, a branch of mathematics, a subobject is, roughly speaking, an object that sits inside another object in the same category. The notion is a generalization of concepts such as subsets from set theory, subgroups from group theory, ...

Quotient Set
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a and b belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set S and an equivalence relation \sim on S, the of an element a in S is denoted /math> or, equivalently, to emphasize its equivalence relation \sim, and is defined as the set of all elements in S with which a is \sim-related. The definition of equivalence relations implies that the equivalence classes form a partition of S, meaning, that every element of the set belongs to exactly one equivalence class. The set of the equivalence classes is sometimes called the quotient set or the quotient space of S by \sim, and is denoted by S /. When the set S has some structure (such as a group operation or a topology) and the equivalence re ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are 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. Definition Let X be a topological space, and let \sim be an equivalence relation on X. The quotient set Y = X/ is the set of equivalence classes of elements of X. The e ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Quotient Space (linear Algebra)
In linear algebra, the quotient of a vector space V by a subspace N is a vector space obtained by "collapsing" N to zero. The space obtained is called a quotient space and is denoted V/N (read "V mod N" or "V by N"). Definition Formally, the construction is as follows. Let V be a vector space over a field \mathbb, and let N be a subspace of V. We define an equivalence relation \sim on V by stating that x \sim y iff . That is, x is related to y if and only if one can be obtained from the other by adding an element of N. This definition implies that any element of N is related to the zero vector; more precisely, all the vectors in N get mapped into the equivalence class of the zero vector. The equivalence class – or, in this case, the coset – of x is defined as : := \ and is often denoted using the shorthand = x + N. The quotient space V/N is then defined as V/_\sim, the set of all equivalence classes induced by \sim on V. Scalar multiplication and addition are defin ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Quotient Space Of An Algebraic Stack
In algebraic geometry, the quotient space of an algebraic stack ''F'', denoted by , ''F'', , is a topological space which as a set is the set of all integral substacks of ''F'' and which then is given a "Zariski topology": an open subset has a form , U, \subset , F, for some open substack ''U'' of ''F''.In other words, there is a natural bijection between the set of all open immersions to ''F'' and the set of all open subsets of , F, . The construction X \mapsto , X, is functorial; i.e., each morphism f: X \to Y of algebraic stacks determines a continuous map f: , X, \to , Y, . An algebraic stack ''X'' is punctual if , X, is a point. When ''X'' is a moduli stack, the quotient space , X, is called the moduli space of ''X''. If f: X \to Y is a morphism of algebraic stacks that induces a homeomorphism In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphis ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Quotient Metric Space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are a general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and therefo ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]