The vector-spaces tag has no wiki summary.

**2**

votes

**0**answers

59 views

### Permutation-invariant matrix representation

The question guide says that Mathoverflow is for research level mathematics. While I do not perform research in mathematics (I study quantum chemistry), I believe this question is research-level ...

**2**

votes

**1**answer

223 views

### Lebesgue measure of set of $y\in\mathbb{R}^n$ such that $x,y,Ay$ are linearly dependent

I've asked this question here on math.stackexchange, but I have been unable to solve this yet, so I'm hoping I can get some advice here.
Consider a vector $x\in \mathbb{R}^n$ and a real $n\times n$ ...

**3**

votes

**1**answer

47 views

### Find matrices which generate a given set of vectors

I've got a finite set of vectors in $Z^3$, which I know to be of the form $A^{i_1}B^{i_2}A^{i_3}B^{i_4}\dots v$ for some unknown vector $v\in Z^3$ and two unknown matrices $A$ and $B$ with integer ...

**2**

votes

**0**answers

71 views

### Analogous to a PDE but where independent variable is a function

Consider, as an example for my question, a density function $u(\boldsymbol{x},t)$ on a vector field $\boldsymbol{x}$ at some time $t$. The flow velocity vector of the density is given by ...

**0**

votes

**1**answer

79 views

### Help with notation for the state of a dynamical system defined by a PDE

Before my question let me briefly describe a simplified version of the dynamical system I'm working with. Suppose that I have a density function $m(\boldsymbol{x},t)$, that describes the abundance of ...

**0**

votes

**0**answers

102 views

### The Euler characteristic of Hilbert series

The Hilbert series of a graded vector space $V=\bigoplus_{n\mathbb Z}V_n$ is the (ordinary) generating function of the dimensions of its homogeneous components, $h_V(t)=\sum_{n\in\mathbb Z}t^n\dim ...

**1**

vote

**1**answer

74 views

### When a homogeneous map between vector spaces is also additive?

Suppose to have two real vector spaces $V$ and $W$ and an injective map $T:V\rightarrow W$ such that $T(\alpha v)=\alpha T(v)$ for all $v\in V$ and $\alpha \in\mathbb{R}$. Do there exist some ...

**13**

votes

**6**answers

779 views

### Does the linear automorphism group determine the vector space?

I was recently thinking about what it means to put structure on a set. It seems to me that, in my area (representation theory), the two main ways of imposing structure on a set $X$ are:
...

**3**

votes

**2**answers

152 views

### Linearly independent family of sequences of rationals with a cardinal equal to the continuum

I'm coming back to this question. Is it possible to have "an explicit" linearly independent family of sequences of rationals with a cardinal equal to the continuum?
PS: sorry for the duplicate on the ...

**0**

votes

**0**answers

57 views

### The space of sequences of rationals and its dimension [duplicate]

In the following page, I give an example of a vector space not isomorphic to its double dual.
I use the space $E$ of sequences of reals. Its dimension (over the field of the reals) is the one of the ...

**39**

votes

**36**answers

5k views

### Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces for a given dimension $n$ but become false in higher dimensions.
Here are two examples:
A positive polynomial not reaching its minimum. Impossible in ...

**0**

votes

**1**answer

63 views

### angle inequality in n-dimensional vector space [closed]

Does anyone has answer for the following doc product problem?
Let A,B,C be three vectors of magnitude of 1.
Let A*B = Cos(x) ( * means dot product)
B*C = Cos(y)
...

**1**

vote

**1**answer

147 views

### Linear map with two “incompatible” representations

Let $K$ be a field and let $V$ be the set of sequences $\{v_1,v_2,\dots\}$ of elements of $K$. If $A=\{a_1,a_2,\dots\}$ is also a sequence of elements of $K$, then it defines an endomorphism of $V$ ...

**3**

votes

**1**answer

97 views

### Space of matrices B for which there is a solution to Bx=c for a given c

Let $F$ be a field, $k$ and $m$ natural numbers with $k \leq m$, and $c \in F^m$.
Is there some name for the set $\mathcal{B}_c = \{ B \in F^{m \times k}\, | \,\, \exists x \in F^k $s.t. $ Bx = c\}$ ...

**0**

votes

**0**answers

40 views

### Speed of convergence of vector expansions in non orthogonal basis

Suppose we have a finite-norm vector $X$ in a Hilbert space, and we want to construct its expansion in a certain (infinite) basis $V_k$, $X=\sum_k a_k V_k$. If the basis is orthonormal, then we know ...

**2**

votes

**1**answer

119 views

### Is an integral against a probability measure in the convex hull of the range?

This may be really obvious but I don't see it. Let $f:\Omega \to \mathbb R^n$ be integrable with respect to a probability measure $\mu$. Does it follow that $\int_\Omega f \, d\mu$ is in the convex ...

**6**

votes

**1**answer

228 views

### Sets of cardinalities of bases without choice

For a vector space $V$, let $BS(V)$ be the set of cardinalities (not necessarily $\aleph$s) of bases of $V$. Of course, in ZFC each $BS(V)$ is a singleton, but supposing the axiom of choice fails, it ...

**4**

votes

**2**answers

411 views

### Properties of vector spaces without AC

With AC, it is easy to see that any vector space is injective, and free, therefore alse flat and projective.
Without AC, vector spaces can be not free. Are they must be projective modules? Flat ...

**12**

votes

**2**answers

277 views

### Subset of vectors whose sum has a large norm

In Rudin - Real & Complex Analysis we have the following
Lemma 6.3. If $z_1, \ldots, z_n \in \mathbb{C}$ then there is a subset $S \subseteq \{1,\ldots,n\}$ for which
$$\left|\sum_{k \in S} ...

**4**

votes

**1**answer

147 views

### Finite generation of vector identities

This question is partially motivated by Looking for a comprehensive referece for vector identities, although that question may not be appropriate for MO.
Consider the set $\mathcal{E}$ of all valid ...

**1**

vote

**0**answers

121 views

### Grassmannian frames in the Grassmannian

I am new to the Grassmannian. I have read about Grassmannian frames in $\mathbb R^n$. My question is can we define Grassmannian frames in a Grassmannian space $Gr(k,n)$ just like in $\mathbb R^n$? ...

**1**

vote

**3**answers

202 views

### Formalism for moving from a metric space into a vector space for mathematical/statistical modeling given a data

I have a metric space $(X,d)$. I have a physical situation (data) where each physical entity corresponds to an $x \in X$.
I want to do some mathematical/statistical modeling of this data, but the ...

**3**

votes

**0**answers

89 views

### Is there a known generalization of the Schmidt decomposition based on a maximal set of “locally orthogonal” vectors?

I came across the following unusual generalization of the Schmidt decomposition in my work, which I describe below. I would like to know if this structure has been studied before so I can read more ...

**5**

votes

**1**answer

220 views

### Is Taylor expansion related to Helmholtz decomposition?

The Taylor expansion of a vector field $f(x)$ to the order of one is
$$f(x)=f(x_0)+Jf(x_0)\cdot\Delta x+o(\Delta x)$$
where $Jf$ is Jacobian of the vector field and $\Delta x=x-x_0$.
Suppose we ...

**3**

votes

**1**answer

439 views

### What is the significance of matrix ordered algebras?

I am trying to grok matrix ordered operator algebras, but I am having a hard time understanding their significance from the definition. Here is the definition (or at least, one way of stating it):
...

**2**

votes

**0**answers

331 views

### A conjecture about vector space (repost from math.SE)

This post is copied from math.SE in the following link:
http://math.stackexchange.com/questions/456398/a-conjecture-about-vector-space
I have posted the question two days ago, but receive no answer ...

**0**

votes

**0**answers

217 views

### Finding the effective maximum number of subspaces in a finite dimensional vector space

Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search.
For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...

**0**

votes

**0**answers

141 views

### Lattice basis reductions and finding minimal values

While reading several articles about lattice basis reduction I am left with a few questions.
For one, I came across this piece of text
Let $\alpha$ and $\beta \in \mathbb{R}$. Also let $X>0$ and ...

**7**

votes

**1**answer

354 views

### Visual pictures of rotation and torsion

In vector analysis / differential geometry we have rotation and torsion. The formalisms are certainly well known. But how could I best explain the geometric pictures and their difference (as a coach ...

**4**

votes

**1**answer

243 views

### Historical precursor for Peano's axioms of a linear space?

Peano is typically credited with giving the first abstract definition of a vector space (1888):
http://www-history.mcs.st-and.ac.uk/HistTopics/Abstract_linear_spaces.html
Apparently, Peano credits ...

**0**

votes

**1**answer

156 views

### Is there a wedge which operates on multiple vector spaces?

Let's say I have two vector spaces $V,W$ , and we have the graded algebras $\Lambda(V),\Lambda(W)$, each with an operation $\wedge$. I'd like to know if there are "many" $\wedge$ operators, or if ...

**1**

vote

**1**answer

115 views

### Minimal generating sets of monoids acting on finite vector spaces.

Let $V$ be a finite dimensional vector space over $\mathbb{Z}_2$ with a linear map $f_i : V \to V$ for each $i$ in some finite index set $I$.
Then one can always find some subset $G \subseteq V$ of ...

**2**

votes

**1**answer

193 views

### Endomomorphisms of Chain Complexes of vector spaces and determinants

Let $C_{\ast} : \cdots \to A_{2} \to A_{1} \to A_{0} \to 0$ be a chain complex of finite dimensional vector spaces over a field $K$.
And let $f_{\ast} : C_{\ast} \to C_{\ast}$ and $g_{\ast} : ...

**2**

votes

**0**answers

279 views

### Morphisms of Spectral Sequences and alternating products

Let $E_{a,b}^{r}, F_{a,b}^{r}$ be two (co)homologica first quadrant spectral sequences of vector spaces over a field $K$, and $f : E \to F$ be a morphism of spectral sequences.
Assume that morphisms ...

**3**

votes

**1**answer

349 views

### Intersection of vector spaces

Let $\{v_{1,j},\ldots, v_{n,j}\}$ be a basis of the $n$-dimensional vector space $V$ for $j=1\ldots k$ (and assume $2k\leq n$). Let $V_i$ be the subspace spanned by $v_{i,1},\ldots, v_{i,k}$ for ...

**1**

vote

**2**answers

286 views

### Ultrafilters over vector spaces

Perhaps my question is naive, but let me try.
Take a (real or complex) vector space $V$ and consider an ideal $\mathcal{I}$ of subsets of $V$ with the following property (call it (*)): for each ...

**10**

votes

**1**answer

709 views

### Who first proved that the dimension of a vector space is unique?

every vector space is known to have a basis (assuming the axiom of choice). This is attributed to Georg Hamel (http://de.wikipedia.org/wiki/Georg_Hamel). Moreover, any two bases have the same ...

**0**

votes

**1**answer

465 views

### Fuzzy vector similarity

Hi all,
I have two multi-dimensional vectors representing documents $\vec{a}$ and $\vec{b}$.
Considering cases where there is no overlap between $a$ and $b$ ($a \cap b = \emptyset $), traditional ...

**3**

votes

**2**answers

784 views

### How to prove the Hahn-Banach constructively

I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.

**3**

votes

**1**answer

787 views

### When do 0-preserving isometries have to be linear?

Let $\langle \mathbf{V},+,\cdot,||.|| \rangle$ be a normed vector space over $\mathbb{R}$.
Let $f : \mathbf{V} \to \mathbf{V}$ be an isometry that satisfies $f(\mathbf{0}) = \mathbf{0}$ .
What ...

**3**

votes

**1**answer

733 views

### Inequalities and bounds for relating p-norms (Reference request)

Hello all, I'm trying to find a good resource for a discussion on the relation between say, the p-norm of a vector (from a finite dimensional vector space) and its Euclidean norm. In my search on the ...