Skip to main content

[Community Question] Linear-algebra: Which subspaces of $\mathbb C^n$ are spanned by real vectors?

One of our user asked:

Which complex $k$-dimensional subspaces of $\mathbb C^n$ are spanned by real vectors? Can we characterise them? (here $1<k<n$).

By "complex", I mean that I am interested in subspaces $W \le \mathbb C^n$, which admit $k$ vectors $v_1,\ldots,v_k \in \mathbb{R}^n$, such that $W=\text{span}_{\mathbb C}(v_1,\ldots,v_k)$

In the case $n=2,k=1$, we ask when $(z_1,z_2)$ can be expressed as $z_0\cdot(x_1,x_2)$ for some $z_0 \in \mathbb C$ and $x_1,x_2 \in \mathbb R$. This is equivalent to $z_1$ being a real multiple of $z_2$ or vice versa.


Labels:

Comments

Post a Comment

Popular posts from this blog

[Community Question] Linear-algebra: non-negative matrix satisfying two conditions

One of our user asked: A real matrix $B$ is called non-negative if every entry is non-negative. We will denote this by $B\ge 0$ . I want to find a non-negative matrix $B$ satisfying the following two conditions: (1) $(I-B)^{-1}$ exists but not non-negative. Here $I$ is the identity matrix. (2) There is a non-zero and non-negative vector $\vec{d}$ such that $(I-B)^{-1}\vec{d}\ge 0$ . I tried all the $2\times 2$ matrices, but it did not work. I conjecture that such a $B$ does not exist, but don't know how to prove it.
Post a Comment
Read more

Order of elements of the Prüfer groups $\mathbb{Z}(p^{\infty})$

Let $\mathbb{Z}(p^{\infty})$ be defined by $\mathbb{Z}(p^{\infty}) = \{ \overline{a/b} \in \mathbb{Q}/ \mathbb{Z} / a,b \in \mathbb{Z}, b=p^i$ $ with$ $ i \in \mathbb{N} \}$ , I wish show that any element in $\mathbb{Z}(p^{\infty})$ has order $p^n$ with $n \in \mathbb{N}$ . i try several ways but I have not been successful, some help ?? thank you
Post a Comment
Read more