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,M ...

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, denoted by is the set \ of elements which are equivalent to a. It may be proven, from the defining properties of equivalence relations, that the equivalence classes form a partition of S. This partition—the set of equivalence classes—is sometimes called the quotient set or the quotient space of S by \,\sim\,, and is denoted by S / \sim. When the set S has some structure (such as a group operation or a topology) and the equivalence relation \,\sim\, is compatible with this structure, the quotient set often inherits a similar structure from its parent set. Exampl ...
[...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 \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence classes o ...
[...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 ''K'', and let ''N'' be a subspace of ''V''. We define an equivalence relation ~ on ''V'' by stating that ''x'' ~ ''y'' if . That is, ''x'' is related to ''y'' if one can be obtained from the other by adding an element of ''N''. From this definition, one can deduce 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 often denoted : 'x''= ''x'' + ''N'' since it is given by : 'x''= . The quotient space ''V''/''N'' is then defined as ''V''/~, the set of all equivale ...
[...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 the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces tha ...
[...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 the most 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 the ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]