Re: infinite vector spaces,



In article <fDRVg.673$zf3.307@fed1read03>, vsgdp <hello@xxxxxxxx> wrote:
In general, how does one prove that a vector space is infinite dimensional?

(i) You can exhibit an infinite linearly independent set. For example,
you can prove that the vector space of polynomials is infinite
dimensional by noting that the set {1, x, x^2, x^3, ..., x^n, ...} is
linearly independent.

(ii) You can prove that no finite set spans the vector space. For
example, again in the vector space of polynomials, let {p_1,...,p_m}
be any finite set of polynomials. Let N be the maximal degree of the
p_i. Then x^{N+1} is not in span(p_1,...,p_m), so {p_1,...,p_m} does
not span.

My first attempt would be to suppose it were finite, then there exists a
finite basis, and then show that there is some vector in the vector space
that cannot be written as a linear combination of those finite basis
vectors. But how would you do this for say the set of all real-valued
functions, for example?

For this, I would suggest method (i) above.



--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes" by Bill Watterson)
======================================================================

Arturo Magidin
magidin-at-member-ams-org

.



Relevant Pages

  • Re: Understanding the quotient ring nomenclature
    ... insistence on an infinite length polynomial, ... explain to you what polynomials are. ... differerence between a vector space (which is what the "infinite ... thinking you are dealing with linear algebra when asking about rings. ...
    (sci.math)
  • Re: Motivation for matrix algebra
    ... > ve a finite basis. ... a vector space V over ... >> as coordinate descriptions of linear maps. ... So V consists of all polynomials in one variable of ...
    (sci.math)
  • Re: Linear algebra
    ... >4) [A vector space that is not finite dimensional is infinite dimensional. ... then every polynomials in the span of this list ... Thus our list cannot span P. ... --- Calvin ...
    (sci.math)
  • Linear algebra
    ... [We define Pto be the set of all polynomials with coefficients in F] ... [A vector space that is not finite dimensional is infinite dimensional. ... spans P, this vector space is infinite dimensional] ... (F to the power infinity) ...
    (sci.math)
  • Re: A not trivial problem in linear algebra/geometry
    ... polynomial p_Minto pairwise distinct irreducible polynomials ... Then V is a m-dimensional M-invariant vector space. ... If Mx-x,...,M^mx-x are linearly independent, the vectors form a basis of the m-dimensional vector space V, hence V is M-cyclic. ... The fact that V is M-cyclic can be reworded: V is generated by x considered as B-module, such that there is a surjective B-module homomorphism B -> V. ...
    (sci.math)

Quantcast