Hyperoppervlak

In de meetkunde is een hyperoppervlak een veralgemening van het concept van het hypervlak. Stel een omringend variëteit M heeft n dimensies, dan een deelvariëteit van M van n - 1 dimensies in een hyperoppervlak. Op equivalente wijze is de codimensie van een hyperoppervlak van een.

In de algebraïsche meetkunde is een hyperoppervlak in de projectieve ruimte van dimensie n een algebraïsche verzameling, die puur van dimension n - 1 is. De hyperoppervlak wordt dan gedefinieerd door een enkele vergelijking F = 0, een homogene veelterm in de homogene coördinaten. Het hyperoppervlak kan singulariteiten bevatten, waardoor het in strikte zin geen deelvariëteit is.

Zie ook

• hypersfeer
• hypervlak