Outward pointing normal vector to a $k$ manifold in $\mathbb{R}^n $

487 Views Asked by At

What do we mean when we say that $\mathbf{N}$ is normal to the the manifold:$$\mathbf{X}:\mathbb{R}^k\to\mathbb{R}^n$$? How do we determine it? How to verify that it's an outward pointing normal?

1

There are 1 best solutions below

2
On

I assume that $X:\mathbb R^k\to\mathbb R^n$ is a differentiable map and $N:\mathbb R^n\to\mathbb R^n$ is a function (a vector field). In this case $N$ is normal to the manifold $X(\mathbb R^k)$ (which is reasonably a manifold if the derivative of $X$ is injective everywhere) if for every $x\in\mathbb R^k$ and $v\in\mathbb R^k$ the vectors $N(X(x))\in\mathbb R^n$ and $DX(x)v\in\mathbb R^n$ are orthogonal. This is because the tangent plane of $X(\mathbb R^k)$ at $X(x)$ is $X(x)+DX(\mathbb R^k)$.

If you have been given explicit functions $X$ and $N$, the condition is (in principle at least) easy to verify by calculation. (It is enough if $N$ is defined on $X(\mathbb R^k)$.)

You need to give more details before I can give a reasonable answer to the part about pointing outward.