## Integrability of distributions close to a given one.

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In this and this papers Thurston proves that every distribution is homotopic to an integrable one (in the first one for codimension greater than one and in the other for codimension one).

Recently, I've came up with a nice paper by Burago and Ivanov which with some other hypothesis manage to start with a distribution and construct a foliation tangent to arbitrarily small cone field around it.

I am far from foliations, but I was wondering if there are examples of distributions which are not integrable and can not be perturbed in the $C^0$ topology in order to become integrable (Edit: That is, a distribution is $\epsilon$ close to other if it is contained pointwise in a cone of angle $\epsilon$ of the original one.)

References appreciated!

-

I am no expert, but do you mean $C^0$ topology, or do you mean something completely different that I'm ignorant of? – Willie Wong Aug 30 2010 at 8:51
I could correct it, I had problems with my keyboard. Thanks. – rpotrie Aug 30 2010 at 9:19

## 1 Answer

No smooth non-integrable distribution can be $C^0$ approximated by integrable ones.

For example, consider the following 2-dimensional distribution in $\mathbb R^3$: the plane at $(x,y,z)\in\mathbb R^3$ is spanned by vectors $(1,0,0)$ and $(0,1,x)$. Perturb this distribution within a small $C^0$ distance $\varepsilon\ll 1$. Consider the square in $\mathbb R^2$ with vertices $(0,0)$, $(1,0)$, $(1,1)$, $(0,1)$ and let $\gamma$ be its boundary (counter-clockwise). This $\gamma$ has a "lift", that is a curve $\tilde\gamma$ in $\mathbb R^3$ which is tangent to the distribution and whose projection to the horizontal plane is $\gamma$. The lift is found by solving an o.d.e., so it is unique if the distribution is smooth but may be non-unique if it is only $C^0$. In the non-perturbed case, the unique lift ends at $(0,0,1)$, hence in the perturbed case all lifts end near $(0,0,1)$. This implies that the distribution is not integrable - if it was integrable, there would be at least one lift (the one contained in a leaf of a foliation) that ends near the origin.

The proof in the general case is similar.

-

Thanks. From what I could understand, this means that a smooth non-integrable distribution can't be $C^0$ aproximated by SMOOTH integrable ones. How about being aproximated by non-smooth integrable ones?.  – rpotrie Aug 30 2010 at 10:31
I addressed this too. All lifts end up near (0,0,1) because the o.d.e. is a $C^0$ perturbation of a smooth one.  – Sergei Ivanov Aug 30 2010 at 10:42
I understand now. Tks. – rpotrie Aug 30 2010 at 11:01
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9466025829315186, "perplexity_flag": "head"}