1
$\begingroup$

I'm having some trouble deciphering the wording of a problem.

I'm given $V$ a vector space over a field $\mathbb{F}$. Letting $v_1$ and $v_2$ be distinct elements of $V$, define the set $L\subseteq V$: $L=\{rv_1+sv_2 | r,s\in \mathbb{F}, r+s=1\}$.

It's the next part where I can't figure out what they mean.

"Let $X$ be a non-empty subset of $V$ which contains all lines through two distinct elements of $X$."

No idea what this set $X$ is. Once I figure that out, I'm supposed to show that it's a coset of some subspace of $V$. I'm hoping this part will become clearer once I know what $X$ is...

  • 0
    For example, $V=\Bbb R^2$ and $X=\{(x,y)|y=1\}$ satisfy this condition. But many other choices of $X$ work also.2012-09-23
  • 0
    @Andrew: Still confused! Sorry...2012-09-23
  • 1
    A line is a subset of $V$ of the form given by $\{rv_1+sv_2|r+s=1\}$. A line goes "through" a collection of points $S$ if every point is on the line, i.e. $S\subseteq L$. For any two distinct points $x,y\in V$, there is a *unique* line containing both points. (Set $v_1=x,v_2=y$ in the set-builder notation I gave.) The set $X$ is presumed to be *any* arbitrary subset of $V$ with the property that for any distinct elements $x,y\in X$, $X$ also contains the unique line $L(x,y)$ through the points $x,y$, i.e. $$\forall x,y\in X, x\ne y,\{rx+sy:r,s\in\Bbb F,r+s=1\}\subseteq X .$$2012-09-23
  • 0
    @anon, so for any two points it contains it contains the line between them? So if there's a point z, not on the line spanned by x and y, X also contains the lines L(x,z), L(y,z) and all the lines connecting points of L(x,y) to points of L(x,z) and so on and so on?2012-09-23
  • 0
    If z is not on the line L(x,y), X does not necessarily contain L(x,z) or L(y,z): it does though *if* X contains z.2012-09-23
  • 0
    @anon, yeah, I was assuming X contained z...2012-09-23

1 Answers 1