In my question [Existence or otherwise of a set of "sufficiently intricate" open sets](https://mathoverflow.net/questions/223847/existence-or-otherwise-of-a-set-of-sufficiently-intricate-open-sets/223850?noredirect=1#comment552389_223850), I asked about whether it is possible to partition Lebesgue-almost all of $\mathbb{R}^d$ into a finite number of connected open sets in such a manner that for some vector $\mathbf{v} \in \mathbb{R}^d$, none of these open sets contains two points whose difference is $\mathbf{v}$.


If $d=3$, it is possible to achieve this with just two open sets: Imagine a three-dimensional ["solid grid"](https://www.google.co.uk/search?q=3-dimensional+grid&safe=active&espv=2&biw=1366&bih=667&tbm=isch&imgil=es6cGmBLZXTi6M%253A%253BTx0yutR8K0-DlM%253Bhttp%25253A%25252F%25252Fwww.123rf.com%25252Fstock-photo%25252Fdimensional_grid.html&source=iu&pf=m&fir=es6cGmBLZXTi6M%253A%252CTx0yutR8K0-DlM%252C_&dpr=1&usg=__4QXODvxfcDV5Jx6O_dJ3R9wr8N0%3D&ved=0CCUQyjdqFQoTCLSCmIOHmskCFUE3FAodZnQHLQ&ei=_XlMVvSPBcHuUObonegC#imgrc=es6cGmBLZXTi6M%3A&usg=__4QXODvxfcDV5Jx6O_dJ3R9wr8N0%3D) where the "nodes" are cubes of side-length 1 and the "connections between nodes" are also cubes of side length 1. We take one of the open sets to be the interior of this "grid", and we take the other open set to be the interior of the complement of this "grid"; and we let $\mathbf{v}$ be a vector that takes you from one corner of a length-1 cube within this grid to the diagonally opposite corner.


Since such a partition can be found for $d=3$, it immediately follows that such a partition can be found for $d > 3$. (E.g. just take the preimages of the above two sets under the natural projection $\mathbb{R}^d \to \mathbb{R}^3$.)


*However*, if $d=2$ then such a partition does not exist!


I now wish to slightly "strengthen" my question:



> 
> 
> > 
> > Fix $d \in \mathbb{N}$. Do there exist mutually disjoint open sets $V\_1,\ldots,V\_n \subset \mathbb{R}^d$, each homeomorphic to $\mathbb{R}^d$, and $\mathbf{v} \in \mathbb{R}^d$ such that
> > 
> > 
> > * $\mathbb{R}^d \setminus (\bigcup\_{i=1}^n V\_i)$ is a Lebesgue-null set, and
> > * for each $i \in \{1,\ldots,n\}$, for every $\mathbf{x} \in V\_i$, $\,\mathbf{x}+\mathbf{v}$ does not belong to $V\_i$?
> > 
> > 
> > 
> 
> 
> 


If so, I am also interested in knowing about the structure of the set of possible vectors $\mathbf{v}$, particularly whether it just consists of isolated points:



> 
> 
> > 
> > Given mutually disjoint open sets $V\_1,\ldots,V\_n \subset \mathbb{R}^d$, each homeomorphic to $\mathbb{R}^d$, such that $\mathbb{R}^d \setminus (\bigcup\_{i=1}^n V\_i)$ is a Lebesgue-null set, define
> >  $$ N\_{[V\_1,\ldots,V\_n]} \, := \, \{ \mathbf{v} \in \mathbb{R}^d \, : \, \forall \, i \in \{1,\ldots,n\}, \ \forall \, \mathbf{x} \in V\_i, \ \mathbf{x}+\mathbf{v} \not\in V\_i \, \}.$$
> >  (So the previous part just asks whether it is possible for $N\_{[V\_1,\ldots,V\_n]}$ to be non-empty.)
> > 
> > 
> > If $N\_{[V\_1,\ldots,V\_n]}$ is non-empty, is it possible that $N\_{[V\_1,\ldots,V\_n]}$ contains a bounded infinite set, or even a *curve* [image of a continuous function on an interval] of points?
> > 
> > 
> > 
> 
> 
> 




---


**Update:** As in the answer of Sebastian Goette below (which was given before I added my additional part to the question), the answer to the first part is *yes*: in the "solid grid" example, one can just cut out plane segments from the grid and from its complement (which is also a grid) in such a manner that the resulting two sets are homeomorphic to $\mathbb{R}^3$.


Now in this grid example, I believe the set $N\_{[V\_1,V\_2]}$ is precisely given by $\mathbf{v}+G$ where $\mathbf{v}$ is a vector taking one corner of the unit cube to the diagonally opposite corner, and $G$ is the additive group generated by the vectors taking each corner of the length-2 upright cube to the diagonally opposite corner. [Someone can correct me if this is wrong!]


It still remains open as to whether there exists an example of a situation where $N\_{[V\_1,V\_2]}$ contains a bounded infinite set.



Existence or otherwise of a set of "sufficiently intricate" open cells
Take the three-dimensional example, which comes from a grid. Find a maximal tree inside the grids corresponding to $V\_1$ and $V\_2$, so pick a subset of the set of edges that connects each node to every other one, but creates no loops. Now, "cut" the cubes corresponding to the remaining edges in $V\_1$, $V\_2$ by taking away a piece of a hypersurface. What remains are two thickened trees, hence homeomorphic to $\mathbb R^3$. 


