Cover of the disk that behaves like a circle

Is there a cover of the disk in the plane by three open connected sets $U_1, U_2, U_3$ such that any two of these sets have nonempty intersection, but the triple intersection $U_1 ∩ U_2 ∩ U_3$ is empty?

Clearly this is possible for the disk's boundary, i.e. a circle, but it does not seem possible for the disk itself. I can tell that such a cover will not be a good cover, since this would imply the disk is homotopically equivalent to the covering's nerve, in this case a triangle.


Solution 1:

No it is not true. Mayer-Vietoris sequence for homology will give a contradiction.

Suppose $D^2 = U\cup V\cup W$ where $U,V,W$ are connected open set. Let $Z=V\cup W$ is connected open set . Then the fact that these three open sets have no common point implies $Z\cap U$ has at least two open component ( since $U\cap V$ and $U\cap W$ are non-empty). Now Mayer-Vietories long exact sequence for the pair $(U,Z)$

$\cdots \to H_1(D^2)\to H_0(U\cap Z)\to H_o(U)\oplus H_0(Z)\to H_0(D^2)\to 0$

=

$\cdots \to 0\to H_0(U\cap Z) \to \mathbb{Z\oplus Z} \to \mathbb{Z}\to 0$

Since the above s.e.s splits, this implies $H_o(U\cap Z)= \mathbb Z$ which is a contradiction.

EDIT: Actually the above solution tells us that not only for $D^2$ but for any simply connected space, we cannot cover it by using $3$ open connected sets which satisfy the given property.

Solution 2:

So I'm no expert on this, but here's a thought that might work.

Let $U_{ij} := U_i\cap U_j$.

Let $V_i$ denote the trivial line bundle on $U_i$. We may glue $V_1$ to $V_2$ via some isomorphism $\alpha_{12} : V_1|_{U_{12}}\rightarrow V_2|_{U_{12}}$, and similarly we may glue $V_2$ to $V_3$ via an isomorphism $\alpha_{23} : V_2|_{U_{23}}\rightarrow V_3|_{U_{23}}$.

Let $s_1$ be a section of $V_1$.

Since the $V_i$'s are trivial, $\alpha_{12}$ is determined by where it sends the section $s_1|_{U_{12}}\in V_1|_{U_{12}}$. Let $s_2|_{U_{12}} := \alpha_{12}(s_1|_{U_{12}})$, and let $s_2$ be the extension of $s_2|_{U_{12}}$ to all of $V_2$ (makes sense since $V_2$ is trivial). Similarly, let $s_3 := $"$\alpha_{23}(s_2)$". Finally, glue $V_1$ to $V_3$ via an isomorphism $\alpha_{13} : V_1|_{U_{13}}\rightarrow V_3|_{U_{13}}$ which does not send $s_1\mapsto s_3$.

If $U_1\cap U_2\cap U_3 = \emptyset$, then the cocycle condition is automatically satisfied, and these gluings (ie, "transition functions") should combine to yield a line bundle on the disc which is NOT trivial, since the local section $s_1$ can't extend to a global section (since $\alpha_{13}(s_1)\ne s_3$). On the other hand, there are no nontrivial line bundles on the disc, contradicting the assumption that $U_1\cap U_2\cap U_3 = \emptyset$.