This problem may be an embarrassing one, but I could not prove it even for the $1$ dimensional case. Here is the problem:



> 
> **Question 1.** $M$ is a compact $n$-dimensional smooth manifold in $R^{n+1}$. Take a point $p\notin M$. Prove there is always a line $l\_p$ pass $p$ and $l\_p\cap M\neq \emptyset$, and $l\_p$ intersect transversally with $M$.
> 
> 
> 


You can naturally generalise it to:



> 
> **Question 2.** $M$ is a compact $n$-dimensional smooth manifold in $R^{n+m}$. Take a point $p\notin M$. Prove $\forall 1\leq k\leq m$, there is always a hyperplane $P\_p, dim(P\_p)=k$ pass $p$ and $P\_p\cap M\neq \emptyset$, and $P\_p$ intersect transversally with $M$.
> 
> 
> 


Thanking for Piotr pointing out, assume "transverse" means "the tangent spaces intersect only at 0".


We focus on question 1 for simplicity.


Even in $1$ dimension it is not easy at least for me, **warning**: a line $l$ pass $p$ may be intersect $M$ at several points combine a set $A\_l$, $A\_l$ could be finite, countable or even it is not countable (consider $M$ is induced by a smooth function for which the zeros set is Cantor set.)... And if there is one point $a\in A\_l$, $l$ is tangent with the tangent line of $M$ at $a$, then $l$ is not intersect transversally with $M$.


**My attempt**: 
I could use a dimensional argument and Sard's theorem to establish a similar result but instead of a fix point $p$, we prove for generic point in $R^{n+1}$ which is not in $M$ we can choose such a line.


So it seems reasonable to develop the dimensional technique to attach the question 1, in 1 dimensional, it will relate to investigate the ordinary differential equation:
$$\frac{f(x)-b}{x-a}=f'(x)$$
Where $p=(a,b)$, $M$ have a parameterization $M=\{x,f(x)\}$. If there is a counterexample for the question 1, then there is another solution which satisfied the ODE in the sense: 


At least for every line $l$ there is a intersection point $a\_l\in l\cap M$, $f$ satisfied ODE at $a\_l$.


This is just like the uniqueness of the solution of such a ODE is destroyed at some subspace of a line which has some special linear structure, I do not know if this point of view will be helpful.


I will appreciate for any useful answers and comments.



Could we always find a line to intersect transversally with a given compact manifold?
For the codimension 1 case.
===========================


### Using Thom transversality theorem.


Consider the maps $f\_s:\mathbb{R} \to \mathbb{R}^n$ parametrized by $s \in S^{n-1}$ and given by $f\_s(t) = p + t \cdot s$. The map $F(s,t) = f\_s(t)$, $F:S^{n-1} \times \mathbb{R} \to \mathbb{R}^n$ is clearly transverse to $M$, thus Thom's transversality says that $f\_s$ is transverse to $M$ for almost all $s$. Now it suffices to prove that for an open set in $S^{n-1}$, the line given by $f\_s$ intersects $M$. Proven below.


### Using Sard's theorem directly.


Thom's transversality is usually proven using Sard's theorem. Here is the idea.


Consider the projection $\Pi:\mathbb{R}^n \setminus \{p\}\to S^{n-1}\_p$ onto a sphere centered at $p$. A line $l\_p$ through $p$ intersects $M$ transversally if the two points $l\_p \cap S^{n-1}\_p$ are regular values of $\Pi$ (indeed, the critical points of $\Pi$ are exactly the points $x \in M$ at which the normal $\vec n\_x$ is perpendicular to the radial direction (with respect to $p$)). By Sard's theorem, the set of regular values is dense in $S^{n-1}\_p$.


We need to choose any point $s$ on the sphere for which both $s$ and $-s$ are regular values, and the line $f\_s$ through $p$ and $s$ actually intersects $M$. It suffices to prove that the set of points $s$ for which this line intersects $M$ contains an open set. We could now use the Jordan-Brouwer Separation Theorem and we would be done, but we can do it more directly (and in a way that seems to generalize).


### The set of points $s \in S$ for which $f\_s$ intersects $s$ has nonempty interior.


For each point $q \notin M$ the projection $\Pi:M \to S\_{q,\varepsilon\_q}^{n-1}$ onto the sphere centered at $q$, of radius $\varepsilon\_q$ small enough so that the sphere does not intersect $M$, has some (topological) degree $d\_q$. It is easy to check that if one takes any point $x \in M$ and considers the points $x \pm \delta \vec n\_x$ for small $\delta$, the degrees of the corresponding maps differ by $1$. It follows that we can find a point $q$ for which $d\_q \neq d\_p$, which guarantees that for every point $q'$ in a small open ball $B$ around $q$ (all these points have same degree $d\_q$), the line joining $p$ and $q'$ intersects $M$. Projection of $B$ on $S\_p^{n-1}$ is an open set which we sought.


For the general case (partial solution).
========================================


I think a similar reasoning should work, however, notice that for $k < m$ we cannot make $P\_p$ intersect transversally with $M$ because of dimensional reasons: the dimensions of $M$ and $P\_p$ don't add up to at least $n+m$. Recall that transversality implies Thus, either (1) you want to consider $k \geq m$, or (2) define "transversal intersection" for such manifolds saying that the tangent spaces have to intersect at an empty set.


Also, for $k>n$ we can just take any plane $P\_p$ which works for $k=m$ and just extend it to a $k$-dimensional plane.


### Assuming $k = m$.


A similar reasoning should work for $f\_s:\mathbb{R}^m \to \mathbb{R}^{n+m}$ with $s = (s\_1, \ldots, s\_m)$ going over all families of pairwise perpendicular unit vectors, and $f\_s(t\_1,\ldots,t\_m) = p+\sum\_{j=1}^m t\_i \cdot s\_i$. Thom's transversality says that for almost all choices of $s$, the plane $f\_s$ is transverse to $M$.


### The nonempty interior issue.


The only thing left is to prove that the set of $s$ for which the intersection is nonempty has nonempty interior. Last time we proved that there is a zero-dimensional sphere containing $p$, namely $\{p,q\}$, which has nonzero linking number with $M$, and by deforming if to spheres $\{p,q'\}$ and taking lines through pairs $p,q'$, we got an open set of parameters for which the line intersects $M$.


Here should be able to do a similar trick by finding a $m-1$-dimensional sphere with nonzero linking number with $M$. The ball that bounds that sphere has to intersect $M$, thus the plane $P$ containing the sphere has to intersect $M$. By perturbing the sphere we get spheres with the same linking numbers, and get all the planes that lie in a neighbourhood of $P$; in particular, we get an open set of parameters $s$ for which $f\_s$ intersects $M$.


Well, we don't actually need a *round* sphere, but we do need a *smooth* sphere that lies in a $m$-dimensional plane. There's some trickery needed to do this, but I am sure something like this can be done.


Maybe somebody else can do it better?


### For $k<m$


I don't really know how to attack this case, assuming "transverse" means "the tangent spaces intersect only at $0$".


**Update (thanks to Fan Zheng):**
This follows from the $k=m$ case. Take any $m$-plane $P$ that intersects $M$ and does it transversally. Then, any $k$-plane inside $P$ intersects $M$ "transversally" in the above sense. We choose any $k$-plane $\tilde P \subset P$ which contains both $p$ and any point $x \in P \cap M$, and we're done.


