 Vanishing ideal of an embedded submanifold

ID: vanishing-ideal-of-an-embedded-submanifold

The vanishing ideal is

I (N) = {f \in C^{\infty} (M) : f ∣_{N} = 0}

X

is tangent to

N

exactly when

X (I (N)) \subseteq I (N)

 New to topics? Read the docs here!