The point of this example is that physical quantities have units associated with them. Examples include the vector space of nbyn matrices, with x, y xy. Vector spaces handwritten notes msc msc notes these are lecture notes of prof. Quotients by group actions many important manifolds are constructed as quotients by actions of groups on other manifolds, and this often provides a useful way to understand spaces that may have been constructed by other means. In particular, at the end of these notes we use quotient spaces to give a simpler proof than the one given in the book of the fact that operators on nite dimensional complex vector spaces are \uppertriangularizable. No matter what topological space x might be to begin with, the quotient space under this equivalence relation is always t 0.
This rather modest weakening of the axioms is quite far reaching, including. If x is a banach space and m is a closed subspace of x, then the quotient xm is again a banach space. This is a bit of an abstract theorem, so well work with the concrete example above. Notes on categories, the subspace topology and the product topology. As a vector space, it is spanned by symbols, called simple tensors. Observables are linear operators, in fact, hermitian operators acting on this complex vector space. Similarly, the quotient space for r 3 by a line through the origin can again be represented as the set of all coparallel lines, or alternatively be represented as the vector space consisting of a plane which only intersects the line at the origin.
If w is a subspace of v, then all the vector space axioms are satis. Notes on categories, the subspace topology and the product. Michael atiyah based on the previous lectures, we now have the following big picture. We know that planar isometries are examples of groups, and more precisely. However, even if you have not studied abstract algebra, the idea of a coset in a vector. So, if you are have studied the basic notions of abstract algebra, the concept of a coset will be familiar to you.
What is an intuitive explanation of a quotient space. In all the development above we have created examples of vector spaces primarily as subspaces of other vector spaces. First, we generalize the lie algebraic structure of general linear algebra gl n, r to this dimensionfree quotient space. There is a sense in which we can \divide v by w to get a new vector space.
In general, when is a subspace of a vector space, the quotient space is the set of equivalence classes where if. This is because velocity times time equals displacement. First isomorphism proved and applied to an example. By is equivalent to modulo, it is meant that for some in, and is another way to say. This is an incredibly useful notion, which we will use from time to time to simplify other tasks. Quotient spaces are emphasized and used in constructing the exterior and the symmetric algebras of a vector space. In this course you will be expected to learn several things about vector spaces of course. Cosets and the quotient space any vector space is an abelian group under the operation of vector addition. Consider the quotient vector space xm and the quotient map. Quotient spaces and quotient maps university of iowa. Another example is the quotient of r n by the subspace spanned by the first m standard basis vectors. Introduction to vector spaces, vector algebras, and vector geometries.
Normality of quotient spaces for a quotient space, the separation axiomseven the ausdorff propertyare difficult to verify. Smith october 14, 2011 abstract an introductory overview of vector spaces, algebras, and linear geometries over an arbitrary commutative. Chapter 3 quotient spaces, direct sums and projections 3. Let v be the space of velocity vectors in newtonian 3 space. Since two cosets of m are either identical or disjoint, the quotient space xm is the set of all the distinct cosets of m. Such vectors belong to the foundation vector space rn of all vector spaces. Show that w is a subspace of the vector space v of all 3. So, now we can ask questions about linear independence, span, bases, whatever, in vu. In contrast with those two, consider the set of twotall columns with entries that are integers under the obvious operations. Quotient spaces oklahoma state universitystillwater. Below well provide a construction which starts with a vector space v over a eld f and a subspace sof v, and which furnishes with an entirely new vector space from vswhich is particularly prominent in applications. Introductiontovectorspaces,vector algebras,andvectorgeometries richard a. Jiwen he, university of houston math 2331, linear algebra 18 21.
Of course, if x was t 0 to begin with, then kqx and x are naturally homeomorphic. Here i prove three fundamental propositions about cosets of a subspace. Tensor product of vector spaces quotient definition. We define a natural equivalence relation on v by setting v. This quotient space is called the kolmogorov quotient of x, which we will denote kqx. The tensor algebra tv is a formal way of adding products to any vector space v to obtain an algebra. Namely, any basis of the subspace u may be extended to a basis of the whole space v. Of course, the word \divide is in quotation marks because we cant really divide vector spaces in the usual sense of division.
Below well provide a construction which starts with a vector space v over a eld f and a subspace sof v, and which furnishes with an entirely new vector space from vswhich is particularly prominent in. Then modding out by u amounts to zeroing out the components of the basis corresponding to u, i. Quotient topological vector spaces quotient topological vector space let x be now a t. In quantum mechanics the state of a physical system is a vector in a complex vector space. Sometimes the equivalence classes are written as cosets. Quotient spaces in all the development above we have created examples of vector spaces primarily as subspaces of other vector spaces. Math 4310 handout quotient vector spaces cornell department. We could also say that the above subset is an a ne subset of v parallel to u through v. Notes on quotient spaces santiago canez let v be a vector space over a eld f, and let w be a subspace of v. We give here three situations in which the quotient space is not only hausdorff, but normal. Quotient spaces v is a vector space and w is a subspace of v. Then v t is the space of displacement vectors in newtonian 3 space. A vector space quotient is a very simple projection when viewed in an appropriate basis. Quotient groups \algebra is the o er made by the devil to the mathematician.
Mar 06, 2015 we conclude be defining the quotient space vw. A quotient space is not just a set of equivalence classes, it is a set together with a topology. Linear algebradefinition and examples of vector spaces. You can have quotient spaces in set theory, group theory, field theory, linear algebra, topology, and others. Examples of building topological spaces with interesting shapes. With this multiplication operation plus addition coming from its vector space structure, fxi is a. We will describe a construction of the quotient vector space vu. The quotient space is already endowed with a vector space structure by the construction of the previous section. The quotient vector space suppose v is a vector space over k and u.
1434 503 239 1458 841 194 63 1045 1124 878 244 1025 1502 1041 305 486 693 792 281 505 634 1417 734 1249 170 984 379 890 1080 1304 614 194 547 1200