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

11
votes
8answers
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 ...
19
votes
1answer
1k views

Cardinality of a Hamel basis

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 ...
5
votes
2answers
532 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$?
51
votes
3answers
4k 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 ...
24
votes
9answers
44k 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 ...
33
votes
2answers
4k 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 ...
20
votes
2answers
1k 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!
15
votes
4answers
5k 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 ...
4
votes
1answer
235 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 ...
31
votes
6answers
10k 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 ...
19
votes
3answers
2k 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 ...
8
votes
1answer
24k 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 ...
5
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} ...
2
votes
3answers
517 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.
15
votes
3answers
627 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 ...
3
votes
3answers
878 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
vote
0answers
59 views

Proof by contradiction: $E_1+E_2\doteq E_1 \oplus E_2 \leftrightarrow E_1 \cap E_2=\{0_V\}$

I must proof the following: Prop.: Let $E_1,E_2$ two vector subspace of $V$ then $$E_1+E_2\doteq E_1 \oplus E_2 \leftrightarrow E_1 \cap E_2=\{0_V\}$$ Proof: I must show $$1)E_1+E_2\doteq E_1 \oplus ...
30
votes
2answers
7k 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 ...
38
votes
1answer
723 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 ...
10
votes
1answer
26k 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 ...
16
votes
1answer
903 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 ...
14
votes
1answer
5k 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 ...
12
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$ ...
9
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
290 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 ...
3
votes
1answer
611 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
1k 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 ...
3
votes
2answers
352 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, ...
14
votes
2answers
4k 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 ...
12
votes
2answers
2k 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 ...
10
votes
5answers
5k 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 ...
5
votes
1answer
651 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 ...
6
votes
2answers
1k 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 ...
7
votes
3answers
2k views

Interior of a Subspace

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 ...
6
votes
3answers
574 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 ...
5
votes
3answers
3k views

How do you prove that tr(B^(T) A ) is a inner product?

Consider the vectorspace of all real $m \times n$ vectors and define an inner product $\langle A,B\rangle = \operatorname{tr}(B^T A)$. "tr" stands for "trace" which is the sum of the ...
4
votes
1answer
152 views

A name for the property $ \| x \star y \| = \| x \| \| y \| $.

Suppose that $ \star: V^2 \to V $ is some binary operation on a vector space $ V $. Should it hold, is there a name for the following property? $$ \forall x,y \in V: \quad \| x \star y \| = \| x \| \| ...
4
votes
1answer
504 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 ...
15
votes
3answers
10k 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), ...
2
votes
1answer
1k 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 ...
2
votes
2answers
67 views

Take $\mathbb{R}$ as a vector space over $\mathbb{Q}$, then a basis for $\mathbb{R}$, then $|B|=2^{\aleph_0}$

I am trying to prove that Given $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and a basis for $\mathbb{R}$, then $|B|=2^{\aleph_0}$. Proof: Suppse that $|B|<2^{\aleph_0}$, then $\mathbb R = ...
3
votes
0answers
533 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. ...
3
votes
1answer
416 views

Is this map to a finite dimensional topological vector space an open map?

Suppose $X$ and $Y$ are topological vector spaces, $\dim (Y)<\infty$, and $f:X\to Y$ is linear and surjective. Prove that $f$ is open and if the null space $N$ of $f$ is closed, then $f$ is also ...
3
votes
2answers
300 views

Matrix proof using norms

I have a linear algebra question I need help with. Let $A$ be an $m\times m$ matrix with $\|A\|_2 < 1$ where $\|A\|_2$ is the $2$-norm of $A$. Show that $I - A$ is invertible where $I$ is the ...
3
votes
2answers
930 views

Scalar Product for Vector Space of Monomial Symmetric Functions

Suppose a multinomial $P(X_1, X_2,\ldots, X_n)$, that is given as a sum of monomials $m_\lambda$ with coefficients $c_k$: $$ P(\vec{X})=P(X_1, X_2,\ldots, X_n) = \sum_k c_k m_{\lambda_k} . $$ Since ...
2
votes
1answer
65 views

$\operatorname{span}(x^0, x^1, x^2,\cdots)$ and the vector space of all real valued continuous functions on $\Bbb R$

Let $p_n(x)=x^n$ for $x\in\Bbb R$ and let $\mathcal P=span\{p_0,p_1,p_2,\cdots\}$ . Then $\mathcal P$ is the vector space of all real valued continuous functions on $\Bbb R$. $\mathcal P$ ...
2
votes
2answers
659 views

Is this Vector operation defined? Does it have a name?

Let's say I have 2 vectors: [a, b, c] [x, y, z] And I need to do an operation like the following for a computer program: ...
1
vote
1answer
119 views

Why is class of one-dimensional vector spaces not axiomatizable?

Prove, class of all one-dimensional vector spaces over R isn't axiomatizable in the signature σ=< +, α, 0>, α* is single function vector multiplication by a scalar $\alpha$ of R. There are ...
0
votes
2answers
95 views

Vectors Question

I have a question regarding Vectors; Find the equation of the plane perpendicular to the vector $\vec{n}\space=(2,3,6)$ and which goes through the point $ A(1,5,3)$. (A cartesian and parametric ...
0
votes
1answer
162 views

Functions $ \cos(2x)$, $\sin(2ax)$, $1$ independent and dependent

For which value(s) of $a$ are the functions $\cos(2x)$, $\sin(2ax)$, $1$ independent over the real numbers? For which $a$ are they dependent? I thought maybe to equate each (with the use of ...