For questions about vector spaces and their properties. More general questions about linear algebra belong under the [tag:linear-algebra] tag. A vector space is a space which consists of elements called "vectors", which can be added and multiplied by scalars. In other words, these are the spaces ...

learn more… | top users | synonyms

15
votes
9answers
2k views

A linear operator commuting with all such operators is a scalar multiple of the identity.

The question is from Axler's "Linear Algebra Done Right", which I'm using for self-study. We are given a linear operator $T$ over a finite dimensional vector space $V$. We have to show that $T$ is a ...
72
votes
4answers
11k views

Is there a quick proof as to why the vector space of $\mathbb{R}$ over $\mathbb{Q}$ is infinite-dimensional?

It would seem that one way of proving this would be to show the existence of non-algebraic numbers. Is there a simpler way to show this?
24
votes
1answer
2k views

What is the logic/rationale behind the vector cross product?

I don't think I ever understood the rationale behind this. I get that the dot product $\mathbf{a} \cdot \mathbf{b} =\lVert \mathbf{a}\rVert \cdot\lVert \mathbf{b}\rVert \cos\theta$ is derived from ...
57
votes
3answers
5k views

Why are vector spaces not isomorphic to their duals?

Assuming the axiom of choice, set $\mathbb F$ to be some field (we can assume it has characteristics $0$). I was told, by more than one person, that if $\kappa$ is an infinite cardinal then the ...
21
votes
2answers
2k views

Cardinality of a Hamel basis of $\ell_1(\mathbb{R})$

What is the cardinality of a Hamel basis of $\ell_1(\mathbb R)$? Is it deducible in ZFC that it is seemingly continuum? Does it follow from this that each Banach space of density $\leqslant 2^{\...
7
votes
2answers
626 views

If a field $F$ is such that $\left|F\right|>n-1$ why is $V$ a vector space over $F$ not equal to the union of proper subspaces of $V$

If $U_1$, $U_2,\ldots,U_n$ are proper subspaces of a vector space $V$ over a field $F$, and $|F|\gt n-1$, why is $V$ not equal to the union of the subspaces $U_1$, $U_2,\ldots,U_n$?
46
votes
3answers
5k views

Connections between metrics, norms and scalar products (for understanding e.g. Banach and Hilbert spaces)

I am trying to understand the differences between $$ \begin{array}{|l|l|l|} \textbf{vector space} & \textbf{general} & \textbf{+ completeness}\\\hline \text{metric}& \text{metric ...
17
votes
4answers
8k views

How to understand dot product is the angle's cosine?

How can one see that a dot product gives the angle's cosine between two vectors. (assuming they are normalized) Thinking about how to prove this in the most intuitive way resulted in proving a ...
41
votes
13answers
73k views

Calculate Rotation Matrix to align Vector A to Vector B in 3d?

I have one triangle in 3d space that I am tracking in a simulation. Between time steps I have the the previous normal of the triangle and the current normal of the triangle along with both the current ...
41
votes
6answers
17k views

Is the vector cross product only defined for 3D?

Wikipedia introduces the vector product for two vectors $\vec a$ and $\vec b$ as $$ \vec a \times\vec b=(||\vec a||||\vec b||\sin\Theta)\vec n $$ It then mentions that $\vec n$ is the vector normal ...
13
votes
3answers
4k views

Every proper subspace of a normed vector space has empty interior

There is a conjecture: "The only subspace of a normed vector space $V$ that has a non-empty interior, is $V$ itself." (here, the topology is the obvious set of all open sets generated by the metric $||...
20
votes
1answer
1k views

Vector Spaces and AC

I know that the proof that every vector space has a basis uses the Axiom of Choice, or Zorn's Lemma. If we consider an axiom system without the Axiom of Choice, are there vector spaces that provably ...
5
votes
1answer
264 views

Is it possible to construct a quasi-vectorial space without an identity element?

I mean if there is any construction that satisfies all the conditions for an vectorial space except it lacks an identity element? This questions was posed to me by a classmate last semester and I have ...
44
votes
1answer
1k views

In categorical terms, why is there no canonical isomorphism from a finite dimensional vector space to its dual?

I've read in several places that one motivation for category theory was to be able to give precise meaning to statements like, "finite dimensional vector spaces are canonically isomorphic to their ...
28
votes
14answers
1k views

Dot Product Intuition

I'm searching to develop the intuition (rather than memorization) in relating the two forms of a dot product (by an angle theta between the vectors and by the components of the vector ). For ...
23
votes
2answers
11k views

Determinant of transpose?

$$\det(A^T) = \det(A)$$ Using the geometric definition of the determinant as the area spanned by the columns could someone give a geometric interpretation of the property? Thanks!
4
votes
1answer
3k views

Finite-dimensional subspace normed vector space is closed

I know that probably this question has already been answered, but I'd like to present my attempt of solution. Let $(E,\|\cdot\|)$ be a normed vector space and let $F\subseteq E$ be a finite-...
2
votes
3answers
649 views

How to prove $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$?

I'm trying to show that $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$. A hint would be nice.
24
votes
3answers
3k views

Inner Product Spaces over Finite Fields

Inner product spaces are defined over a field $\mathbb{F}$ which is either $\mathbb{R}$ or $\mathbb{C}$. I want to know what happens if we try to define them over some finite field. Here's an example:...
10
votes
1answer
36k views

Proof for triangle inequality for vectors

Generally,the length of the sum of two vectors is not equal to the sum of their lengths. To see this consider the vectors $u$ and $v$ as shown below. By considering $u$ and $v$ as two sides of a ...
6
votes
2answers
1k views

Power-reduction formula

According to the Power-reduction formula, one can interchange between $\cos(x)^n$ and $\cos(nx)$ like the following: $$ \cos^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} \binom{n}{k} \cos{((n-...
6
votes
3answers
3k views

Question on finite Vector Spaces, injective, surjective and if $V$ is not finite

Let $V$ be a vector space and $\alpha \in \operatorname{End}(V)$ (i) If $V$ is finite dimensional, then $\alpha$ is injective iff $\alpha$ is surjective. (ii) Give example showing (i) is false if $...
4
votes
1answer
512 views

Smallest/Minimal bases of a topological space

The smallest possible cardinality of a base is called the weight of the topological space. I was wondering if all minimal bases have the same cardinality, and if every base contains a subset whose ...
3
votes
3answers
2k views

Finding a basis for $\Bbb{Q}(\sqrt{2}+\sqrt{3})$ over $\Bbb{Q}$.

I have to find a basis for $\Bbb{Q}(\sqrt{2}+\sqrt{3})$ over $\Bbb{Q}$. I determined that $\sqrt{2}+\sqrt{3}$ satisfies the equation $(x^2-5)^2-24$ in $\Bbb{Q}$. Hence, the basis should be $1,(\...
37
votes
2answers
11k views

Difference between metric and norm made concrete: The case of Euclid

This is a follow-up question on this one. The answers to my questions made things a lot clearer to me (Thank you for that!), yet there is some point that still bothers me. This time I am making ...
21
votes
3answers
104k views

How to tell if a set of vectors spans a space?

I want to know if the set $\{(1, 1, 1), (3, 2, 1), (1, 1, 0), (1, 0, 0)\}$ spans $\mathbb{R}^3$. I know that if it spans $\mathbb{R}^3$, then for any $x, y, z, \in \mathbb{R}$, there exist $c_1, c_2, ...
15
votes
2answers
5k views

Why is cross product only defined in 3 and 7 dimensions? [duplicate]

Why $3$ and $7$? I know from some reading that Hurwitz's Theorem explains this, but can someone help me build some intuition behind this or perhaps provide a simpler explanation? It still seems ...
14
votes
1answer
39k views

Using the Determinant to verify Linear Independence, Span and Basis

Can the determinant (assuming it's non-zero) be used to determine that the vectors given are linearly independent, span the subspace and are a basis of that subspace? (In other words assuming I have a ...
10
votes
2answers
3k views

How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$?

How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$? Here's my attempt: Given a Cauchy sequence $\{q_n\}_{n \in \mathbb{N}}$ in $X/Y$, each ...
10
votes
2answers
1k views

How to prove $C_1 \|x\|_\infty \leq \|x\| \leq C_2 \|x\|_\infty$?

I want to prove the following theorem (no idea whether it has a name): Let $V = \mathbb{R}^n$ or $\mathbb{C}^n$ and $\|\cdot\|$ be a norm on $V$. Then, there exist $C_1, C_2 > 0$ such that for all ...
7
votes
3answers
332 views

Are $\mathbb{C} \otimes _\mathbb{R} \mathbb{C}$ and $\mathbb{C} \otimes _\mathbb{C} \mathbb{C}$ isomorphic as $\mathbb{R}$-vector spaces?

Are $\mathbb{C} \otimes _\mathbb{R} \mathbb{C}$ and $\mathbb{C} \otimes _\mathbb{C} \mathbb{C}$ isomorphic as $\mathbb{R}$-vector spaces? I am having a very hard time at digesting tensor products ...
5
votes
3answers
125 views

For subspaces, if $N\subseteq M_1\cup\cdots\cup M_k$, then $N\subseteq M_i$ for some $i$?

I have a vector space $V$ over a field of characteristic $0$. If $M_1,\dots,M_k$ are proper subspaces of $V$, and $N$ is a subspace of $V$ such that $N\subseteq M_1\cup\cdots\cup M_k$, how can you ...
5
votes
3answers
4k views

Geometric interpretation of the multiplication of complex numbers?

I've always been taught that one way to look at complex numbers is as a cartesian space, where the "real" part is the x component and the "imaginary" part is the y component. In this sense, these ...
4
votes
1answer
756 views

For Banach space there is a compact topological space so that the Banach space is isometrically isomorphic with a closed subspace of $C(X)$.

I want to prove that for Banach space V there is a compact topological space $X$ so that $V$ is isometrically isomorphic to a closed subspace of $C(X)$-continuous function on a (compact) topological ...
2
votes
1answer
2k views

Finding Rotation Axis and Angle to Align Two “Oriented Vectors”

In general, one can align a 3D vector $\vec A$ to another 3D vector $\vec B$ by rotating $\vec A$ around the axis $\| \vec A \times \vec B \|$ by the angle $\arccos{(\| \vec A \| \cdot \| \vec B \|)}$....
4
votes
1answer
2k views

Vector spaces - Multiplying by zero scalar yields zero vector

Please rate and comment. I want to improve; constructive criticism is highly appreciated. Please take style into account as well. The following proof is solely based on vector space related axioms. ...
4
votes
2answers
534 views

A union of two subspaces not equal to the vector space. [duplicate]

Let $L,M$ two subspaces of the vector space, $V$ such that both $L,M \ne V$. Prove: $L\cup M \ne V$. I think this is a case of a proof by contradiction. Lets assume $L \cup M = V$. Hence, $$\...
18
votes
2answers
5k views

Understanding isomorphic equivalences of tensor product

I get some big picture of tensor and tensor product by reading their Wikipedia articles, and several questions and answers posted before by others. But I cannot figure out how to show the following ...
25
votes
4answers
765 views

Pathologies in module theory

Linear algebra is a very well-behaved part of mathematics. Soon after you have mastered the basics you got a good feeling for what kind of statements should be true -- even if you are not familiar ...
22
votes
1answer
1k views

Why it is important for isomorphism between vector space and its double dual space to be natural?

I'm reading the book (by A. Kostrikin) on linear algebra and I feel like I'm really missing something about this idea. I understand the formal proofs of: a) isomorphism between vector space $V$ and ...
12
votes
5answers
6k views

Covectors and Vectors

I have a general question about vector/covectors: Background. A vector (for our purposes) is a physical object in each basis of $\mathbb{R}^3$ represented by three numbers such that these numbers ...
9
votes
2answers
1k views

What is the kernel of the tensor product of two maps?

Assume that $f_1\colon V_1\to W_1, f_2\colon V_2\to W_2$ are $k$-linear maps between $k$-vector spaces (over the same field $k$, but the dimension may be infinity). Then the tensor product $f_1\otimes ...
17
votes
1answer
13k views

Effect of elementary row operations on determinant?

1) Switching two rows or columns causes the determinant to switch sign 2) Adding a multiple of one row to another causes the determinant to remain the same 3) Multiplying a row as a constant results ...
13
votes
1answer
2k views

Transpose of a linear mapping

There seems to be two kinds of transposes of a linear mapping: If $f: V→W$ is a linear map between vector spaces $V$ and $W$ with nondegenerate bilinear forms, we define the transpose of $f$ ...
20
votes
4answers
14k views

How to find basis for intersection of two vector spaces

What is the general way of finding the basis for intersection of two vector spaces? Suppose I'm given the bases of two vector spaces U and W: $$ \mathrm{Base}(U)= \left\{ \left(1,1,0,-1\right), \left(...
10
votes
2answers
2k views

Can a basis for a vector space be made up of matrices instead of vectors?

I'm sorry if this is a silly question. I'm new to the notion of bases and all the examples I've dealt with before have involved sets of vectors containing real numbers. This has led me to assume that ...
7
votes
3answers
967 views

How to think of a function as a vector?

In order to apply the ideas of vector spaces to functions, the text I have (Wavelets for Computer Graphics: Theory and Applications by Stollnitz, DeRose and Salesin) conveniently says Since ...
16
votes
2answers
20k views

Reflection across a line?

The linear transformation matrix for a reflection across the line $y = mx$ is: $$\frac{1}{1 + m^2}\begin{pmatrix}1-m^2&2m\\2m&m^2-1\end{pmatrix} $$ My professor gave us the formula ...
7
votes
2answers
2k views

Does anyone know any resources for Quaternions for truly understanding them?

I've been studying Quaternions for a week, on my own. I've learned various facts about them but I still don't understand them. My goal is to understand rotation quaternions specifically. I don't want ...
5
votes
1answer
697 views

Splicing together Short Exact Sequences

Given an exact sequence of vector spaces $$\cdots\longrightarrow V_{i-1}\longrightarrow V_{i}\longrightarrow V_{i+1}\longrightarrow\cdots$$ I want to show that it is the same as having a collection of ...