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

5
votes
2answers
360 views

An example for infinite dimensional vector space with Hamel dimension smaller than $\operatorname{card} F$

What will be the example for a vector space(infinite dimensional) over a field where Hamel basis has strictly smaller cardinality than that of field? It is not possible in a Hilbert Space (over R or ...
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 ...
5
votes
6answers
17k views

Prove in full detail that the set is a vector space

So I'm doing a review test and I have this problem: Prove in full detail, with the standard operations in R2, that the set {(x,2x): x is a real number} is a ...
5
votes
3answers
202 views

A basic doubt on linear maps

Let $f$ be a linear map from $V$ to its field set, say $F$. Now if $f(v)=0$ does it necessarily imply that $v=0$. I don't think so. $v=0$ is one solution, but it need not be the only solution because ...
5
votes
2answers
93 views

Does $\mathbb{R}^n$ have a real vector space structure with dimension other than $n$?

Can we define a vector space structure on $\mathbb {R}^n$ other than usual scalar multiplication and usual addition such that the dimension of $\mathbb {R}^n$ over $\mathbb {R}$ is not $n$ but some ...
5
votes
4answers
72 views

Not understanding the case where $G$ is abelian with every element of order $2$

Suppose an abelian finite group $G$ (with $o(G)>2$) has every non-identity element of order $2$. Show that there exists a non-trivial automorphism on $G$. After a bit of searching, I found a ...
5
votes
4answers
893 views

Linear Transformations $ \mathbb R^2 \rightarrow \mathbb R^3 $

If $ T : \mathbb R^2 \rightarrow \mathbb R^3 $ is a linear transformation such that $ T \begin{bmatrix} 1 \\ 2 \\ \end{bmatrix} = \begin{bmatrix} 0 \\ 12 \\ -2 \end{bmatrix} $ and $ ...
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 ...
5
votes
2answers
146 views

Seeking an analytic proof of a vector identity

Show that for any vectors $\bf{u_1},\bf{u_2},\bf{v_1},\bf{v_2}\in\mathbb R^3$, we have $$(\bf{u_1}\times\bf{v_1})\cdot(\bf{u_2}\times\bf{v_2})= \left|\begin{matrix} \bf{u_1}\cdot\bf{u_2} & ...
5
votes
4answers
313 views

Every element of $U + V + W$ can be expressed uniquely in the form $u + v + w$

Suppose that $U$, $V$ and $W$ are subspaces of some given vector space. With the obvious definition of $U + V + W$, show that every element of $U + V + W$ can be expressed uniquely in the form $u + v ...
5
votes
4answers
631 views

Vector space of polynomials over $\mathbb{R}$ with degree $\leqslant n-1$

Let $P \in \mathbb{R}_{n-1}[X]$ be a polynomial of degree $n-1 \geqslant 0$. Let $\mathbb{R}_{n-1}[X]$ be the vector space of polynomials with degree $\leqslant n-1$ over $\mathbb{R}$. Show ...
5
votes
1answer
285 views

What are some examples of vector spaces that aren't graded?

From wikipedia: a vector space $V$ is graded if it decomposes into direct sum $ \oplus_{n \geq 0} V_n$ of vector spaces $V_n$. So as far as I understand things, any vector space with a countable ...
5
votes
4answers
1k views

What is the main difference between a vector space and a field?

In my opinion both are almost same. However there should be some differenes like any two elements can be multiplied in a field but it is not allowed in vector space as only scalar multiplication is ...
5
votes
2answers
187 views

Does there exist a unique definition of dot product in $\mathbb R^n$ such that the standard basis is orthonormal?

Does there exist a unique definition of scalar product in $\mathbb R^n$ so that the standard basis is orthonormal? I can't find a definition of dot product different from the usual definition. Is this ...
5
votes
2answers
987 views

Realification and Complexification of vector spaces

I am interested in a good comprehensive resource on realification and complexification of vector spaces over the reals or complexes (and the interplay of these structures on the 'same' space in ...
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$?
5
votes
2answers
10k views

Plane determined by 2 vectors

I have 2 perpendicular vectors in space. How can I determine the plane determined by the 2 vectors?
5
votes
3answers
62 views

Vector-space almost linear function

Find a function $f:V \rightarrow W$, where $V$ and $W$ are vector spaces (and V is defined on $\mathbb{K}$), such that $$f(x+y) = f(x) + f(y), \forall x,y \in V$$ but $$\exists a \in \mathbb{K}: ...
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} ...
5
votes
6answers
712 views

Given ${u, v, w}$ is a basis for $\mathbb{R}^3$, how can I show that $\{u + v + w, v + w, w\}$ is also a basis?

Given ${u, v, w}$ is a basis for $\mathbb{R}^3$, how can I show that $\{u + v + w, v + w, w\}$ is also a basis? I solved a similar problem in $\mathbb{R}^2$ (or at least think I did :p). ...
5
votes
4answers
10k views

Linear Algebra: determine whether the sets span the same subspace

So I am stuck on 51 here: 51. Determine whether the sets $S_1$ and $S_2$ span the same subspace of $\mathbb{R}^3$: $$\begin{align*} S_1 &= \Bigl\{ (1,2,-1),\ (0,1,1),\ (2,5,-1)\Bigr\}\\ ...
5
votes
4answers
694 views

Isomorphism of Vector spaces over $\mathbb{Q}$

From this post we see that $\mathbb{R}$ over $\mathbb{Q}$ is infinite dimensional. Similarly $\mathbb{C}$ over $\mathbb{Q}$ is also infinite dimensional, and I rememeber having solved a problem that ...
5
votes
2answers
51 views

Let $A_{j,k} = \langle x_j, x_k\rangle$. Show $A$ is invertible if and only if $x_1, \ldots, x_n$ are linearly independent.

Let $V$ be a vector space over $\mathbb C$ with inner product $\langle, \rangle$ and let $x_1, \ldots, x_n$ be vectors in $V$. Consider the $n \times n$-matrix $A$ with entries $A_{j,k} = \langle ...
5
votes
1answer
162 views

Let $a_1, …,a_n , b_1,…b_n$ be $2n$ distinct elements of a field , then is the matrix $\Big(\dfrac1{a_i-b_j}\Big)_{ij}$ non-singular?

Let $a_1, ...,a_n , b_1,...b_n$ be $2n$ distinct elements of a field and define $$h_{ij}:=\dfrac1{a_i-b_j} , \forall i,j=1,2 ,\dots,n. $$ Is the $n \times n$ matrix $H:=(h_{ij})$ non-singular ?
5
votes
2answers
67 views

If some vectors in $\mathbb Q^n$ are linearly independent over $\mathbb Q$ , then are they also linearly independent over $\mathbb C$?

Let $\vec v_1 , ..., \vec v_k $ be vectors in $\mathbb Q^n$ linearly independent over $\mathbb Q$ , then is it true that $\sum_{i=1}^ka_i\vec v_i=0, a_i\in \mathbb C, \forall 1\leq i\leq k \implies ...
5
votes
2answers
78 views

Necessary condition for have same rank

Let $P,Q$ real $n\times n$ matrices such that $P^2=P$ , $Q^2=Q$ and $I-P-Q$ is an invertible matrix. Prove that $P$ and $Q$ have the same rank. Some help with this please , happy year and thanks.
5
votes
1answer
174 views

Why is the × operator not defined for vector × vector?

For a vector space, the + operator maps two vectors to another vector while the × operator maps a scalar and a vector to another vector. To me, it seems strange that scalars are seen as separate to ...
5
votes
1answer
471 views

What is the meaning of superscript ⊥ for a vector space

This should be an easy question, if A is a matrix, then the nullspace of A is a vector (sub)space. Then, what is the meaning of superscript inverted T on a vector (sub)space? e.g. $(\mathrm {nullspace ...
5
votes
2answers
324 views

Riemann Sphere and a Strange Vector Space Definition

I'm reading Fractals Everywhere by Michael Barnsley. On pp. 6-8 [1] he defines a linear space which, he says, "is also called a vector space." However, his definition of a linear space only requires ...
5
votes
2answers
93 views

linear map $f:V \rightarrow V$, which is injective but not surjective

I am trying to find a linear map $f:V \rightarrow V$, which is injective but not surjective. I always thought that if the dimension of the domain and codomain are equal and the map is injective it ...
5
votes
1answer
115 views

Must a normed vector space be over $\mathbb{R}$ or $\mathbb{C}$?

If it must be, why is this so? In the maths courses I have taken normed vector spaces always have been over $\mathbb{R}$ or $\mathbb{C}$, but I don't see that this has to be so. I am asking because I ...
5
votes
3answers
971 views

Why orthogonal basis?

Lets take the $\mathbb{R}^3$ space as example. Any point in the $\mathbb{R}^3$ space can be represented by 3 linearly independent vectors that need not be orthogonal to each other. What is that ...
5
votes
2answers
111 views

Linear operators on $C^\infty[a,b]$

I do not know too much about linear operators so forgive me if this doesn't make much sense, but what would the space of linear operators on $C^\infty[a,b]$ be defined as? If we denote this space as ...
5
votes
3answers
270 views

What “is” a matrix in the context of a vector space?

I'm familiar with the definition of a vector space $V$ over a field $F$ I'm also comfortable with the notion that a matrix "represents" a linear map from one vector space $V$ to another vector space ...
5
votes
1answer
249 views

Is there a difference between abstract vector spaces and vector spaces?

I am following my Oxford syllabus and my next step is abstract vector spaces, in my linear algebra book I've found vector spaces. I've searched a little and made a superficial comparison between ...
5
votes
3answers
32k views

Find the equation of the plane passing through a point and a vector orthogonal

I have come across this question that I need a tip for. Find the equation (general form) of the plane passing through the point $P(3,1,6)$ that is orthogonal to the vector $v=(1,7,-2)$. I would ...
5
votes
1answer
261 views

A problem : subspaces of a vector space

Let $L$, $M$, and $N$ are subspaces of a vector space. Prove that following is not necessarily true. $L \cap (M + N) = (L \cap M) + (L \cap N) $ This problem is given in 'Finite dimensional vector ...
5
votes
2answers
194 views

Can we have something like an orthonormal basis for a finite dimensional normed space?

So I proved a certain theorem about finite dimensional inner-product spaces, but after completing the proof, I realized the only point where I used the idea of orthogonality was the construction of an ...
5
votes
2answers
151 views

Are there norms on $\Bbb{C}^m$ and $\Bbb{C}^n$ so that the norm $\Vert\cdot\Vert$ is a subordinate norm?

Denote $$\Vert A\Vert=\sum_{1\le j,k\le m}\vert A_{j,k}\vert$$ is cleary a norm over $M_{m,n}(\Bbb{C})$ but not a subordinate norm by taking the identity matrix $I$. So my question is: Can we make ...
5
votes
1answer
66 views

What series of 'hyperpolyhedrons' do exist? Is there an effective way to derive their cross-sections by 3-d subspace?

There are two obvious series of 'hyperpolyhedrons'. 'Hyperoctahedron' with vertices $(\pm1,0...0), (0,\pm1,0,...0)...(0,...0,\pm1)$ and each vertex connected by an edge with each other vertex ...
5
votes
1answer
161 views

Intuition for “the existence of a basis for every vector space is equivalent to the Axiom of Choice”?

Is there a intuitive way to understand "the existence of a basis for every vector space is equivalent to the Axiom of Choice"?
5
votes
2answers
79 views

Projection into a subspace?

Let $S$ be a nonzero subspace with orthogonal basis $(v_1, \ldots, v_k)$. Then the projection of $u$ onto $S$ is given by: $$\operatorname{proj}_S u = \frac {v_1 \dot{} u}{\operatorname{norm} ...
5
votes
3answers
174 views

Find the necessary and sufficient conditions on $A$ such that $\|T(\vec{x})\|=|\det A|\cdot\|\vec{x}\|$ for all $\vec{x}$.

Consider the mapping $T:\mathbb{R}^n\mapsto\mathbb{R}^n$ defined by $T(\vec{x})=A\vec{x}$ where $A$ is a $n\times n$ matrix. Find the necessary and sufficient conditions on $A$ such that ...
5
votes
1answer
370 views

Adjoint of forgetful functor between category of vector spaces and category of abelian groups

I've just found out about the forgetful functor between the category of vector spaces and the category of abelian groups. It maps a vector space to it's additive abelian group. My question is, is ...
5
votes
3answers
153 views

Finding the inverse of a matrix using a series

I want to find the inverse of the matrix $A$ given by: $ \left( \begin{array}{cc} 1 & -\epsilon \\ \epsilon & 1 \\ \end{array} \right) $ where $|\epsilon|$ $< 1$ (although I do not ...
5
votes
2answers
210 views

Cross products?

Say you have vectors $v$ and $w$. Let there cross product be denoted by $x$ so that: $$v \times w = x$$ According to Wikipedia: $$x_x = v_yw_z - v_zw_y$$ $$x_y = v_zw_x - v_xw_z$$ $$x_z = v_xw_y - ...
5
votes
2answers
3k views

Proof of equivalence of algebraic and geometric dot product? [duplicate]

Geometrically the dot product of two vectors gives the angle between them (or the cosine of the angle to be precise). Algebraically, the dot product is a sum of products of the vector components ...
5
votes
3answers
2k views

Is the zero vector in $\mathbb{R}^n$ by itself a subspace of $\mathbb{R}^n$?

W is a subspace of $\mathbb{R}^n$ iff The zero vector ∈ W. X + Y ∈ W for any X, Y ∈ W. aX ∈ W for any X ∈ W and a ∈ R. So, given W = { X : X = [x1...], x1 = 0, x2 = 0, ... xn = 0 } ∈ Rn The zero ...
5
votes
2answers
252 views

How to get the upper triangular form for any linear map?

Let $T:V \to V$ be linear. $V$ is a complex vector space of dimension $k$. Then there exists a basis so that the matrix generated by $T$ under that basis is upper triangular. The proof is by induction ...
5
votes
2answers
432 views

Probability that $n$ vectors drawn randomly from $\mathbb{R}^n$ are linearly independent

Let's take $n$ vectors in $\mathbb{R}^n$ at random. What is the probability that these vectors are linearly independent? (i.e. they form a basis of $\mathbb{R}^n$) (of course the problem is ...