12

I've just started a course in Representation Theory, and in solving our first homework I've used a couple of theorems about finite-dimensional vector spaces (for an example, rank-nullity theorem). My colleagues pointed out to me that we are working in general vector spaces, so I've patched up places where I've used those theorems with more general arguments.

So, why did I make that mistake? Well, in my previous linear algebra courses we mostly worked with finite-dimensional vector spaces, so in my mind I started to consider all vector spaces finite-dimensional.

To fix that, and to prevent future mishaps, I would like to see a few differences between finite-dim. and infinite-dim. vector spaces. More 'obvious' fact is in finite-dimensional space, the better.

ante.ceperic
  • 5,221

4 Answers4

14

(1). There are endomorphisms $T$ with $\ker(T)=\{0\}$ which are not surjective.

(2). Not in every case a linear form $\phi$ is representable by a vector $v$ in presence of a scalar product, i.e., there doesn't exist a vector $v$ that $\phi(.)=\langle v,.\rangle$.

(3). Not all linear mappings are continuous.

(4). You can equip a vector space with two different norms such that the unit ball in respect to the first norm in unbounded in respect to the second.

It's just a brand new world.

rschwieb
  • 153,510
Michael Hoppe
  • 18,103
  • 3
  • 32
  • 49
  • Is 'injective endomorphism $T$' different from endomorphism $T$ with $\ker(T)={0}$? – BCLC Jan 22 '20 at 09:29
5

A finite dimensional vector space is always isomorphic to its dual, but this is false for an infinite dimensional vector space.

Jeff
  • 2,594
4

For example, not every (infinite) matrix corresponds to a linear operator.

Boris Novikov
  • 17,470
0

Here is a paraphrase of the first item in Michael Hoppe's answer: Proper linear subspaces of finite dimensional vector spaces have strictly smaller dimension. (compare e.g. Prove that a set is infinite if and only if it is equipotent to a proper subset.)

As an example consider the vector space of (one-sided) sequences of real numbers and its subspace consisting of all those sequences whose zeroth entry is zero. (see e.g. Spectrum of right shift operator contradiction)

Note that this distinguishes the finite dimensional paradigm and the infinite dimensional paradigm without reference to topology.

Alp Uzman
  • 10,742