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

1
vote
0answers
49 views

How to calculate the dimension of an infinite direct product of copies of a field?

Let $F$ be a field and $I$ an arbitrary infinite index set. I'd like to know how to calculate the dimension of $\prod_{i\in I}F$. By the way, I know $\dim(\prod_{i\in I}F)\geqslant ...
1
vote
1answer
65 views

Calculating a spread of $m$ vectors in an $n$-dimensional space

My question is regarding spreading $m$ vectors in an $n$ dimensional space such that the vectors are maximally distant from each other. For example, let us say I have a 2-D space, and 3 vectors, the ...
1
vote
1answer
74 views

Example for finite dimensional analog of integral transforms

I understand that integral transforms are generalisations of the dot product of functions that could be interpreted as infinite dimensional vectors. The most significant advantage then is that ...
1
vote
1answer
72 views

Farey Sequence Vector Orthogonality Relation Question

Take the Farey sequence $\mathcal{F}_n$ for $n=39$ with values $a_m\in \mathcal{F}_n$ and put them into a vector $$ \vec v_k=\biggr(\exp(2\pi i k a_m)\biggr)_m $$ Since Merten's function for $n=39$ ...
1
vote
2answers
105 views

Vector space of real numbers over the rational numbers

What is the easiest way to show that $\mathbb R$ is not finitely generated over $\mathbb Q$ ?
1
vote
2answers
164 views

What is the product and coproduct of Morphism category(Arrow category)?

Given category C, Its morphism category D means a category that has 1) "morphisms of C" as its objects 2) "pair (f,g) s.t. the diagram(square) commutes" as its morphisms The above definition is ...
1
vote
3answers
84 views

Dependency of linear map definition on basis

The definition of linear map depends on the basis. Is this a flaw of the "linear map" construct?
1
vote
3answers
120 views

What's special about the first vector

My linear algebra notes state the following lemma: If $(v_1, ...,v_m)$ is linearly dependent in $V$ and $v_1 \neq 0$ then there exists $j \in \{2,...,m\}$ such that $v_j \in span(v_1,...,v_{j-1})$ ...
1
vote
3answers
755 views

Induced Exact Sequence of Dual Spaces

So given a short exact sequence of vector spaces $$0\longrightarrow U\longrightarrow V \longrightarrow W\longrightarrow 0$$ With linear transformations $S$ and $T$ from left to right in the ...
1
vote
1answer
174 views

Dimensions of vector subspaces

Given a bilinear map $B:X\times Y\to F$ where $X,Y$ are vector spaces and given $S\leq X$, why is $\dim S+\dim \operatorname{ann}(S)=\dim Y$ where $\operatorname{ann}(S)$ is the annihilator of $S$ ...
0
votes
2answers
99 views

Partial Derivative of a outer product in Vector Calculus

I am trying to compute the partial derivative of certain vector products for calculating the stiffness matrix. So we already know that For any vector $\textbf{x}$, we have 1) The derivative of the ...
0
votes
0answers
17 views

Searching for a definition for n-Dimensional rotation which is cosine-distance invariant

I am wondering if it is possible to define a rotation for an $n$-Dimensional space ($n=2,3,4,5,\dots$). Given any vector $\vec v$, and knowing that it should be rotated to ...
0
votes
3answers
129 views

$I+A^*A$ is non-singular whenever $A$ is a square matrix with complex entries? [closed]

Let $A$ be a square matrix with complex entries , then is it true that $I+A^*A$ is non-singular ? where $A^*$ denotes the conjugate transpose of $A$ http://en.wikipedia.org/wiki/Conjugate_transpose ...
0
votes
1answer
97 views

Finding loci of possible points satisfying vector simultaneous equations

I recently had an exam and a question came up which I was only partially able to answer. The question was the following: Let $\vec{a}$, $\vec{b}$ and $\vec{c}$ be constant vectors in ...
0
votes
1answer
154 views

inner product space , dual space, proof about isomorphism

Let $V$ be a vector space (not necessary being finite dimensional) and let $U,W$ be subspaces of $V$ such that $V = U\oplus W$. Prove that $V^\ast/(W^0)$ is isomorphic to $W^\ast$. Notation and ...
0
votes
1answer
81 views

V = U⊕W then Prove that (V/W)* is isomorphic to W^0

Let $V$ be a vector space (not necessary being finite dimensional) and let $U$, $W$ be subspaces of $V$ such that $V = U\oplus W$. Prove that $(V/W)^*$ is isomorphic to $W^0$. note: (V/W)* is the ...
0
votes
3answers
96 views

Linear Algebra: Matrix Spanning/Consistency Question

1) If there are $5$ vectors found in $\mathbb{R}^7$ will these vectors Span $\mathbb{R}^7$? Please explain. 2) Give an example of a $3$ by $5$ matrix for which all systems, $Ax=b$ for any $b$ in ...
0
votes
4answers
75 views

A vector should more be thought an identity of an entity in space rathar than magnitude + direction?

Can I say that vector is more like a "unique identity" of an entity in space rather than calling it an entity with magnitude and direction ? For example a line. A vector $(10,10,0)$ is the identity ...
0
votes
0answers
101 views

Finding a Vector not in a Collection of Proper Subspaces

Let's take $K$ to be an infinite field and $V$ a vector space over it. Allowing $U_1,...U_l$ to be $l$ proper subspaces of $V$ (none the same), and further assuming that for all $i$, $U_i$ is not in ...
0
votes
1answer
312 views

How is it possible for the inverse function of a linear-continuous-bijective function to be not continuous?

If $E$ and $F$ are two normed vector spaces, $f:E\rightarrow F$ is a linear-continuous-bijective function. Then naturally I would think that $f^{-1}$ is also linear-continuous-bijective. But the ...
0
votes
1answer
279 views

Visualization of 2-dimensional function spaces

As a follow-up question to what is the norm measuring in function spaces I just had an idea: How about visualizing function spaces as normal planes. What I have in mind is to have an orthogonal ...
-1
votes
2answers
58 views

Some question about extension of bounded linear operator

Let we have the following bounded linear operator $$T: D(T)\rightarrow Y$$ such that $D(T)$ is the domain and it is a vector space and $Y$ is a Banach space . Then it has an extension $$H: ...
-1
votes
2answers
112 views

Definition of dimension

Let us consider Euclidean space $\mathbb{R}^n$. We say it is $n$-dimensional because each vector in it is an $n$-tuple $(x_1,...,x_n)$. However, it is possible to represent this exact same space using ...
9
votes
2answers
230 views

If $V \times W$ with the product norm is complete, must $V$ and $W$ be complete?

Let $V,W$ be two normed vector spaces (over a field $K$). Then their product $V \times W$ with the norm $\|(x,y)\| = \|x\|_V + \|y\|_W$ is a normed space. Using this norm it's easy to show that if ...
8
votes
2answers
225 views

Can a basis for a vector space $V$ can be restricted to a basis for any subspace $W$?

I don't understand why this statement is wrong: $V$ is a vector space, and $W$ is a subspace of $V$. $K$ is a basis of $V$. We can manage to find a subset of $K$ that will be a basis of $W$. ...
7
votes
5answers
1k views

How to solve this to find the Null Space

What I did : I put this into reduced row echleon form: $$\begin{bmatrix} 1 & -2 & 2 & 4 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 ...
7
votes
3answers
423 views

Why define vector spaces over fields instead of a PID?

In my few years of studying abstract algebra I've always seen vector spaces over fields, rather than other weaker structures. What are the differences of having a vector space (or whatever the ...
6
votes
1answer
79 views

Invariant Subspace of Two Operators [duplicate]

Let $S$, $T$ be linear operators on a finite-dimensional vector space $V$ over $\mathbb{C}$. Suppose $$S^2 = T^2 = I.$$ Show that there exists either a $1$-dimensional or $2$-dimensional ...
6
votes
1answer
116 views

what is vector $(\vec{a}\cdot \vec{b})\vec{c} + (\vec{b}\cdot \vec{c})\vec{a} - (\vec{c} \cdot \vec{a})\vec{b}$

Suppose we have three non orthogonal vectors in $R^3$ as $\vec{a}, \vec{b}, \vec{c}$. The vector of $(\vec{b}\cdot \vec{c})\vec{a} - (\vec{c} \cdot \vec{a})\vec{b}$ is in the plane spanned by ...
6
votes
1answer
176 views

How many parameters are required to specify a linear subspace?

A problem in Peter Lax's Linear Algebra involves looking at the family of $n\times n$ self-adjoint complex matrices and asking: on how many real parameters does the choice of such a matrix depend? ...
4
votes
1answer
99 views

Which rings containing the complex field are, as vector spaces over that field, isomorphic to $\mathbb{C}^2$?

Which rings $R$ containing (as a subring) the complex field $\mathbb{C}$ are, as a vector space over that field, isomorphic to $\mathbb{C}^2$? In other words: what are the two-dimensional unital ...
4
votes
1answer
62 views

Project a vector onto the intersection of surfaces

I want to project a vector $\vec v$ onto a surface $S$ defined as the intersection of other surfaces. For example, in 5-dimension I have the surface $S(x_1,x_2,x_3,x_4,x_5)=c$, defined by the ...
4
votes
2answers
81 views

Show ker($\alpha$)=ker($\alpha$)^2 iff ker($\alpha$) and im($\alpha$) are disjoint

Let $V$ be a vector space over a field $F$ and let $\alpha$ be an element of $\operatorname{End}(V)$. Show $\ker(\alpha)=ker(\alpha^2)$ iff $\ker(\alpha)$ and $\operatorname{im}(\alpha)$ are disjoint. ...
4
votes
1answer
49 views

Projection onto space in $L^2([0,1])$ gives shorter length

Let $f_1,f_2,\ldots,f_n\in L^2([0,1])$, and let $V$ denote their span. Let $P:L^2([0,1])\rightarrow V$ be the projection onto $V$. Let $g\in L^2([0,1])$. Suppose also that $g\in L^p([0,1])$ for some ...
4
votes
2answers
203 views

Show that $F+G$ is closed when $G$ a closed subspace of normed space $E$ and $F$ a finite dimensional subspace of $E$.

Question: Let $E$ be a normed space. Let $G$ be a closed subspace of $E$ and let $F$ be a finite dimensional subspace of $E$. Show that $F+G$ is a subspace of $E$ and is closed. I'm having trouble in ...
4
votes
1answer
213 views

Normal $T\in B(H)$ has a nontrivial invariant subspace

I am wondering if the following is true: Every normal $T\in B(H)$ has a nontrivial invariant subspace if $\dim(H)>1$?
4
votes
1answer
416 views

Algorithm to find the basis of intersection of subspaces without gaussian elimination.

Is there an algorithm to find the basis of intersection of subspaces $A_1$ and $A_2$, if we have the bases of subspaces $A_1$ and $A_2$, without using Gaussian elimination? Thanks.
4
votes
1answer
531 views

When are two diagonal matrices congruent?

This is probably a question that does not admit a simple answer. However, I'd like to know whether there exist criteria that determine when two diagonal matrices are congruent. I have the suspicion ...
4
votes
3answers
551 views

Does $\det(A) \neq 0$ (where A is the coefficient matrix) $\rightarrow$ a basis in vector spaces other than $R^{n}$?

I know that for a set of vectors $\{ v_{1}, v_{2}, \ldots , v_{n} \} \in \mathbb{R}^{n}$ we can show that the vectors form a basis in $\mathbb{R}^{n}$ if we show that the coefficient matrix $A$ has ...
4
votes
1answer
395 views

Prove a basic fact on a linear combination of vectors

Let $x_i (i=1,...,n, n>d)$ be a unit vector in $R^d$. $c_i>0$ is a positive real scalar. How to prove the following fact? Fact: There exist some vectors $x_i$ such that $\sum_{i=1}^n c_i ...
4
votes
2answers
264 views

Dot product of two vectors

How does one show that the dot product of two vectors is A · B = |A| * |B| * cos(Θ) ?
4
votes
2answers
489 views

Is $(\mathbf{V} \cap \mathbf{W})^{\bot}=(\mathbf{V}^{\bot} \cap \mathbf{W}^{\bot})$?

Is $(\mathbf{V} \cap \mathbf{W})^{\bot}=(\mathbf{V}^{\bot} \cap \mathbf{W}^{\bot})$? I tried element-chasing, but I am getting confused when trying to determine mutual containment.
3
votes
2answers
92 views

Prove that, if $\{u,v,w\}$ is a basis for a vector space $V$, then so is $\{u+v, v+w, u+v+w\}$.

I'm trying to prove the following statement: In a vector space $V$ over a field $\mathbb{F}$, if $\{u,v,w\}$ is a basis for $V$, then $\{u+v, u+v+w, v+w\}$ is also a basis. $$\underline{\text{My ...
3
votes
3answers
271 views

Vector space of continuous [0,1] -> [0,1] over R

Is there a way to define a vector space of continuous functions of type $[0,1] \to [0,1]$ over $\mathbb R$? If no, how to prove that such a vector space does not exist?
3
votes
1answer
116 views

How many (unordered) bases does $\Bbb F_q^n$ have as a vector space over $\Bbb F_q$?

Following the recommendation here to get this question out of the unanswered queue, I've changed this from a proof-verification question into an answer-your-own. Here's the question again in case ...
3
votes
1answer
675 views

Prove $\mathbb R$ vector space over $\mathbb Q$

I am proving that $\mathbb R$ is a vector space over $\mathbb Q$. So far, I have stated that vector addition and scalar multiplication trivially hold in $\mathbb R$. I then showed that $(\mathbb R, ...
3
votes
4answers
321 views

If $X$ is an orthogonal matrix, why does $X^TX = I$?

It's not immediately clear to me why this is true. My notes say that putting $n$ orthonormal vectors $ v_1, ..., v_n$ in the columns of $X$ gives $X^TX = I$, and it follows from this that the rows of ...
3
votes
2answers
1k views

Relation between Interior Product, Inner Product, Exterior Product, Outer Product..

Following my previous question Relation between cross-product and outer product where I learnt that the Exterior Product generalises the Cross Product whereas the Inner Product generalises the Dot ...
3
votes
1answer
182 views

Define two differents vector space structures over a field on an abelian group

Exercise 3 from Roman's book "Advanced Linear Algebra". The author asks us to "find an abelian group $V$ and a field $\mathbb{F}$ for which $V$ is a vector space over $\mathbb{F}$ in at least two ...
3
votes
1answer
759 views

How many different basis' exist for an n-dimensional vector space in mod 2?

Imagine a 2-dimensional vector space in $\mathbb{Z} /2 \mathbb{Z}$. The only possible basis' are $$ \left(\begin{array}{c} 1\\ 0 \end{array}\right), \left(\begin{array}{c} 0\\ 1 ...