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
1answer
84 views

Can something like $\text{Hom}(V,K)$ be visualised?

I have no trouble visualising vector spaces like $\Bbb R^3$ and (e.g.) a subspace of dimension $2$, which would just be a plane through the origin of a $3$-D space, but I'm having trouble visualising ...
5
votes
1answer
93 views

Maximal value of dimension [closed]

I'm stuck on a question if you can help me : Show that the maximum dimension of a subspace of $\mathcal M_n (\mathbb F)$ not containing an invertible matrix is $n (n-1)$.
5
votes
2answers
1k views

How to understand rank-nullity / dimension theorem proof?

OK, I am working on proofs of the rank-nullity (otherwise in my class known as the dimension theorem). Here's a proof that my professor gave in the class. I want to be sure I understand the ...
5
votes
1answer
4k views

Properties of a matrix whose row vectors are dependent

When a column vector in a matrix is a made up of "combination" of its other column vectors, it is said to be linearly dependant. Say... $$ A=\begin{bmatrix} 2 & 1 & 0\\ 4 & 5 & ...
5
votes
2answers
60 views

Determinant of exact sequence

Let $0 \to A \to B \to C \to 0$ be an exact sequence of vector spaces. I want to show that I have a canonical isomorphism $$\text{det}(B)= \text{det}(A) \otimes \text{det}(C).$$ Here, "det" refers ...
5
votes
1answer
54 views

Example of infinite field $(F,+,.)$ such that $(F^*, . )$ is a cyclic group ? [duplicate]

It is known that any infinite cyclic group can never be a vector space , from this we can derive that if $(F,+,.)$ is an infinite field then $(F,+)$ cannot be cyclic . I am asking , is there any ...
5
votes
1answer
108 views

“Vector spaces” over a skew-field are free?

Are modules over a skew field free? That is, if $F$ is a skewfield then can any module $M$ be written as $\underset{i \in I}{\bigoplus} F$ for some indexing set $I$?
5
votes
2answers
256 views

Representations of Direct Sum of Lie Algebras

I'm trying to prove the following. Let $\frak{g}$ and $\frak{h}$ be (semisimple) Lie algebras. Then every representation $d$ of $\frak{g}\oplus\frak{h}$ is the tensor product of representations $d^1$ ...
5
votes
1answer
637 views

dimension of the space of all symmetric matrices with trace $0$ and $a_{11}=0$,

I want to know the dimension of the space of all symmetric matrices with trace $0$ and $a_{11}=0$, I can show that the dimension of space of all symmetric matrices $S$ is $n(n+1)/2$, now I give a ...
5
votes
1answer
140 views

Product of binomial coefficient as a basis

I am stuck with the following problem. Every polynomial of degree $d$ can be expressed as $$ p(x) = p_d \binom{x}{d}+ p_{d-1}\binom{x}{d-1} + \cdots + p_0 \binom{x}{0} $$ What is the ...
5
votes
4answers
1k views

Sphere tangent to a plane

Find the equation for a sphere with center $(\alpha,\beta,\gamma)$ tangent to the plane $ax + by + cz = d$. The sphere is $(x-\alpha)^2 + (y-\beta)^2 +(z-\gamma)^2 = r^2$ and I understand that some ...
5
votes
1answer
272 views

Span and Dimension: A subspace

If $A$ is finite set of linearly independent vectors then the dimension of the subspace spanned by $A$ is equal to the number of vectors in $A$. This is obviously true. Since $A$ is a finite set of ...
5
votes
3answers
89 views

Generating a $n$-th dimensional vector orthogonal to $n-1$ linearly-independent vectors

Let us have $n-1$ linearly independent vectors $\vec{v}_{1},\dots,\vec{v}_{n-1}\in\mathbb{R}^{n}$, define the vector $\vec{w}$ as follows: ...
5
votes
1answer
62 views

Can you define a vector space in terms of a pre-existing projective space?

Projective spaces are usually defined as the quotient of a vector space (by the equivalence relation that identifies collinear vectors). However, in my opinion, projective spaces seem intuitively less ...
5
votes
2answers
282 views

Sparse basis for linear subspace

Suppose I have a linear subspace of some vector space, e.g. described as the column space of some big matrix. How would I algorithmically find a basis of that same subspace where the basis matrix is ...
5
votes
1answer
245 views

Normal operator $f \in L(V,V)$ adjoint as a polynomial in $f, f^*=p(f)$.

I'm preparing for a Linear Algebra exam, grad school level. If $V$ is a complex vector space "unitaire" (term in French, but I can't find this term anywhere except in my class notes, I think it's ...
5
votes
1answer
60 views

Dot products of three or more vectors

Can't we construct a mapping from $V^3(R^1)$ to $R$ such that $a.b.c = a_{x}b_{x}c_{x}+a_{y}b_{y}c_{y}+a_{z}b_{z}c_{z}$ (a,b,c are vectors in $V^3(R^1)$ ) and more generally $a^n$ , $a.b.c.d.e...$ ...
5
votes
1answer
81 views

Extensions of finite-rank operators

Let $V$ be a vector space and let $W$ be its subspace of infinite codimension. Let $\mathcal{F}_W$ be the family of all finite-rank operators on $V$ with range contained in $W$. Consider the ...
5
votes
1answer
361 views

Geometry problem from a Berkeley course

I've been trying to solve this problem proposed as part of one of the first lectures of a Berkeley linear algebra course: "What Good is a Basis ? The freedom to choose a basis often simplifies ...
5
votes
1answer
350 views

Vector subspaces proof check

Suppose I wish to show that for a finite dimensional vector space, $V$, with basis $B=\{b_1,...,b_n\}$ and a given subspace $X$ of $V$, there exists a subset of $B$ that generates a subspace $Y$, such ...
5
votes
0answers
67 views

Decomposition of order-$n$ tensors

If $V$ is a finite-dimensional vector space, then $V\otimes V\cong\mathbf{S}^2(V)\oplus\bigwedge^2(V)$. The first summand on the right is the symmetric part of $V\otimes V$ and the second summand is ...
5
votes
0answers
71 views

When are all ring homomorphisms also algebra homomorphisms?

Let $k$ be an algebraically closed field, and let $A,B$ be two unitary $k$-algebras. In general, there are more ring homomorphisms $A\to B$ than there are $k$-algebra homomorphisms. More precisely, ...
5
votes
0answers
116 views

Intuition about structures in Galois Theory.

Background Often in mathematics I find we can ask "why" something is true. Of course, this is not a well defined question. However, it usually prompts answers that includes words like ...
5
votes
0answers
61 views

Generating a 3d ribbon from a series of points

I am attempting to generate a 3d ribbon from a set of 3d points. The idea is to generate a realistic ribbon which follows those points. In its current state, one example looks like this: In this ...
5
votes
0answers
192 views

Are there eigenvectors, eigenvalues, and characteristic functions for non-linear vector fields?

An eigenvector is a vector in the preimage of the transformation whose direction is not changed when the transformation is applied. It seems like the concept of eigenvectors and eigenvalues would ...
5
votes
1answer
194 views

Cross Product Intuition

I know the cross product between a vector $a$ and a vector $b$ is just a vector whose magnitude is the product of magnitude of $b$ times the magnitude of the perpendicular component of $a$ in relation ...
5
votes
0answers
128 views

Why is the radical of a Clifford algebra generated by the kernel of the associated symmetric form? [duplicate]

I was recently reading through Jacobson's Basic Algebra. I got to the section on Clifford algebras, and have the following question. Let $Cl_\omega$ be the Clifford algebra with bilinear symmetric ...
4
votes
5answers
3k views

What is the difference between metric spaces and vector spaces?

Does a metric space have an origin? That is, does it have $(0,0)$. Does a vector space have an origin? It seems whatever you can do in a metric space can also be done in a vector space. Is this ...
4
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 ...
4
votes
2answers
414 views

Dimension of $\mathbb{Q}\otimes_{\mathbb{Z}} \mathbb{Q}$ as a vector space over $\mathbb{Q}$

The following problem was subject of examination that was taken place in June. The document is here. Problem 1 states: The tensor product $\mathbb{Q}\otimes_{\mathbb Z}\mathbb{Q}$ is a vector ...
4
votes
4answers
1k views

What are some alternative definitions of vector addition and scalar multiplication?

While teaching the concept of vector spaces, my professor mentioned that addition and multiplication aren't necessarily what we normally call addition and multiplication, but any other function that ...
4
votes
3answers
397 views

Shortest length that a vector can have

I came to the following question from a past exam: The vector $v = (k, k, 3 − k)$ depends on a variable $k$. What is the shortest length of the vector $v$ can have? I know that the answer is ...
4
votes
7answers
31k views

Finding a unit vector perpendicular to another vector

For example we have the vector $8i + 4j - 6k$, how can we find a unit vector perpendicular to this vector?
4
votes
3answers
259 views

If $Ax=B$ has two solution, then there must be a third one?

How do I prove this conjecture? Let $A$ be a matrix, and $B$ be a column vectore. If $Ax=B$ has two solutions, then there must be a third one. Thanks in a advance!
4
votes
1answer
224 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 ...
4
votes
6answers
13k 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 ...
4
votes
3answers
1k views

Vector Spaces: Finding a basis and Dimension

I could really use some step-by-step help on these two problems please. Thank You in advance. 1.) Let $V = \{{\bf{A|A}}$ is an $n \times n$ matrix, $n$ fixed, det$({\bf{A}}) = 0$ }. Is $V$, with ...
4
votes
5answers
530 views

Why do bases of infinite dimensional spaces need to be orthonormal?

I asked this question following a discussion in my Mathematical Methods course and didn't get a satisfactory answer. If we have an infinite dimensional Hilbert space, why do we need an orthonormal ...
4
votes
3answers
203 views

Embedding torsion-free abelian groups into $\mathbb Q^n$?

Glass' Partially Ordered Groups states without proof: Every torsion-free abelian group can be embedded into a rational vector space (as a group). Can someone link me to a proof of this? It ...
4
votes
3answers
102 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 ...
4
votes
2answers
384 views

Meaning of, and how to verify, a vector space *over* $\mathbb{R}$

In Axler's book on Linear Algebra he writes ($\mathbb{F}$ is here either $\mathbb{R}$ or $\mathbb{C}$): The scalar multiplication in a vector space depends upon $\mathbb{F}$. Thus when we need to ...
4
votes
2answers
207 views

The isomorphisms between two vector spaces

Let $V$ and $W$ be two vector spaces over real number field, if they are isomorphic as vector spaces over rational number field, are they isomorphic as real vector spaces ?
4
votes
2answers
254 views

why symmetric matrices are diagonalizable?

A matrix is diagonalizable iff it has a set of eigen vectors which are linearly independent. Now, why is this satisfied in case of symmetric matrix ?
4
votes
3answers
2k 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
20k 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 ...
4
votes
1answer
155 views

Is $\mathbb{R}^1$ a subspace of $\mathbb{R}^2?$

My intuition tells me it is. But in terms of vectors, the span of a vector with only one component (a vector in $\mathbb{R}^1$) is not said to be a subspace of $\mathbb{R}^2$
4
votes
5answers
498 views

Help a newbie understand Linear Algebraic terms

I am taking a class in Algebra but I am having a problem grasping exactly what it is I am being asked to do -- I think I am having a problem with the vocabulary being used. I have a couple of ...
4
votes
5answers
182 views

Proof involving subspaces

I encountered this question in a document I found on a google search, it bugged me because my perception keeps telling me I'm wrong no matter what I do. Let $U$, $W$ and $Z$ be subspaces of a ...
4
votes
3answers
106 views

Prove that $0 < x < y$ implies $\|x\| < \|y\|$ for any norm.

All vectors are real. Prove that $0 < x < y$ (element-wise) implies $\|x\| < \|y\|$ for any norm. This is probably very basic, but I don't seem to get the hang of it. Edit: it turns out this ...
4
votes
2answers
126 views

Is an infinite linearly independent subset of $\Bbb R$ dense?

Suppose $(a_n)$ is a real sequence and $A:=\{a_n \mid n\in \Bbb N \}$ has an infinite linearly independent subset (with respect to field $\Bbb Q$). Is $A$ dense in $\Bbb R?$