What is the easiest way to show that three lines in two dimensional space do not intersect?

Question

I have two similar questions:

1) Let $X$ and $Y$ be two measure spaces. Suppose for every point $x \in X $ there exists a set $ \mathcal{U}_x \subset Y $ of full measure in $Y$. Suppose $V \subset X $ has full measure in $X$. Consider the subset of $X \times Y$ given by $$ W := \cup_{x \in V} \{x\} \times \mathcal{U}_x \subset X \times Y $$ Does $W$ have full measure?

2) Same question as above, but $X$ and $Y$ are complex algebraic varieties and we say that a set has full measure if the complement is contained in a finite union of subvarieties of strictly smaller dimension.

The motivation for the question is as follows: How do you rigorously prove this fact: Three generic lines in $\mathbb{C}^2$ do not intersect. The way I want to prove it is using these three facts:

a) Two generic lines in $\mathbb{C}^2$ intersect in only one point.

b) Given a specific point a generic line does not pass through that point.

Can I conclude that three generic lines do not intersect generically simply using a) and b)? The idea being that let $A$ be the space of lines in $\mathbb{C}^2$. Let $$ X := A \times A, \qquad Y:= A, \qquad V:= A \times A-\Delta_{A} $$ where $\Delta_A$ is the diagonal of $X$. Now given $(L_1, L_2) \in V $ we define $\mathcal{U}_{L_1,L_2} \in Y $ to be the space of lines that do not pass through the intersection of $L_1$ and $L_2$. The set $W$ as defined earlier is precisely the space of three lines which do not intersect. Why does this set have full measure?

More precisely, what is the easiest way to see this space has full measure, preferably just using the fact that $V$ and $\mathcal{U}_{L_1, L2} $ have full measure.

Answer 1

If a line is the set of points of the form $a z + b,$ where $a, b$ are complex vectors and $z$ is the complex parameter, the condition that three such lines intersect will be a condition that a certain polynomial in the parameters ($a_i, b_i$ for $i=1, 2, 3$) vanishes (it will be a determinant), so by your definition, the complement of the vanishing locus will be generic. Bringing in measure theory is probably a mistake.

Answer 2

The answer to question $2$ is yes, if we know the following continuity condition: that the complement of $W$ is itself a union of varieties. Then the complement is just the union of $V^\perp \times Y$ with another variety whose codimension is positive since it's codimension is positive in each fiber, using the formula $dim(totalspace) \leq dim(base)+ dim(largest fiber)$

It is no without this continuity condition. Take $X = \mathbb C$, $Y = \mathbb C$, $\mathcal U_x = \mathbb C - \{ e^x\}$, $V = \mathbb C$.

Since the continuity condition obviously holds in these sorts of (sufficiently simple) algebraic geometry moduli problems, you can deduce the desired result.

Answer 3

For question 1.

As Bill Johnson noted, if $W$ is measurable, then the answer is "yes". But (unless some hypothesis is added on how $\mathcal U_x$ depends on $x$) it need not be the case that $W$ is measurable. We may conclude, anyway, that $W$ has full outer measure.

Sierpinski (I believe) showed (assuming the Continuum Hypothesis) that there is a set $W \subseteq \mathbb R \times \mathbb R$ such that all vertical cross-sections $$ \mathcal U_x = \{ y: (x,y) \in W\} $$ have countable complement, while all horizontal cross-sections $$ \mathcal U^y = \{ x: (x,y) \in W\} $$ are countable. In this case, $W$ is a badly non-measurable set.