2
$\begingroup$

I would like to show the following claim:

Let $l_1, l_2 \in \mathbb{R}^{n+1}$ be two distinct lines then $\exists$ a linear isomorphism $A : \mathbb{R}^{n+1} \rightarrow \mathbb{R}^{n+1}$ with $Al_1 = (\lambda, 0, 0, \dots , 0)$ and $Al_2 = (0, \lambda, 0, \dots , 0)$

I thought this $A$ needed to prove the claim is the basis transformation matrix from the standard basis of $\mathbb{R}^{n+1}$ into the basis consisting of $l_1$, $l_2$ and some linearly independent basis vectors.

My question now is: Are my thoughts correct? And if so, how can I construct the missing vectors to make $\{l_1, l_2 \}$ into a basis of dimension $n + 1$?

  • 1
    I think your sentence "I thought..." is gramatically messed up somehow. :)2011-03-04
  • 0
    @Rasmus: No, I think it's OK -- it's easier to parse if you replace "this $A$" by "that this $A$ that's", but it's OK as it is.2011-03-04
  • 0
    Why do you write $\mathbb{R}^{n+1}$ and not $\mathbb{R}^{n}$?2011-03-04
  • 0
    @joriki: The actual problem I am thinking about is something related to the real projective plane and the question here is a sub-problem of my actual problem. In the actual problem I am thinking about $\mathbb{R}^{n+1}$ but the dimension doesn't matter for this sub-problem so I left it to be $n + 1$.2011-03-04
  • 0
    @joriki: Right, thanks.2011-03-04

1 Answers 1

3

Your thinking is basically correct, except: $l_1$, $l_2$ are vectors, not lines; and you have to exclude the case that one of them is zero.

About extending the basis, see this and this.

  • 0
    many thanks, the first link is exactly what I was looking for. In fact, I googled for it for a while but somehow failed to find it even though I was certain it had to be "somewhere out there".2011-03-04