Math 2.0

definition

Orientable surface

Definition

Let S⊆R3S \subseteq \mathbb{R}^3 be a surface that has a tangent plane at each point. The surface SS is orientable if there is a continuous map n ⁣:S→R3n \colon S \to \mathbb{R}^3 with the following property. For each p∈Sp \in S, n(p)n(p) is a unit normal vector of SS at pp. Such a map nn is an orientation of SS, and SS together with nn is an oriented surface.

Remarks

If SS is connected and orientable, then it has exactly two orientations, nn and −n-n. A regular injective parametrisation rr gives the orientation n=(ru×rv)/∥ru×rv∥n = (r_u \times r_v) / \| r_u \times r_v \|. Swapping uu and vv gives the opposite orientation. Spheres, planes and tori are orientable. The boundary of a bounded region in R3\mathbb{R}^3 has the outward normal as its standard orientation. The Möbius strip is not orientable. Integrals of vector fields across a surface, such as flux, need an orientation. Reversing the orientation changes their sign. Integrals of scalar functions do not need one.

Explanations

L1 human

An orientable surface has two sides, an inside and an outside, or a top and a bottom. On a Möbius strip, an ant can walk from one side to the other without crossing an edge. So there is no consistent choice of side.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 25 nodes in this order. The foundations come first, and the list ends with this node.

Euclidean space, object, no evidence levelEuclidean spaceobjectFunction, concept, no evidence levelFunctionconceptInfimum, concept, no evidence levelInfimumconceptSupremum, concept, no evidence levelSupremumconceptFréchet derivative, definition, no evidence levelFréchet derivativedefinitionFunction of several variables, concept, no evidence levelFunction of several v…conceptVector-valued function, concept, no evidence levelVector-valued functionconceptJordan measure, definition, no evidence levelJordan measuredefinitionLimit of a function of several variables, concept, no evidence levelLimit of a function o…conceptPartial derivative, concept, no evidence levelPartial derivativeconceptContinuity in R^n, definition, no evidence levelContinuity in R^ndefinitionDifferentiable function of several variables, definition, no evidence levelDifferentiable functi…definitionPartial derivative, definition, no evidence levelPartial derivativedefinitionDouble integral, definition, no evidence levelDouble integraldefinitionGradient, definition, no evidence levelGradientdefinitionDifferentiable on an open set, definition, no evidence levelDifferentiable on an …definitionHigher partial derivatives, definition, no evidence levelHigher partial deriva…definitionIterated derivative, definition, no evidence levelIterated derivativedefinitionC^k function characterised by continuous derivatives, statement, no evidence levelC^k function characte…statementParametrised curve, definition, no evidence levelParametrised curvedefinitionParametrised surface, definition, no evidence levelParametrised surfacedefinitionTangent plane and normal vector of a surface, definition, no evidence levelTangent plane and nor…definitionSurface area, definition, no evidence levelSurface areadefinitionSurface integral, definition, no evidence levelSurface integraldefinitionOrientable surface, definition, no evidence levelOrientable surfacedefinition
Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Infimum concept
  4. Supremum concept
  5. Fréchet derivative definition
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Jordan measure definition
  9. Limit of a function of several variables concept
  10. Partial derivative concept
  11. Continuity in R^n definition
  12. Differentiable function of several variables definition
  13. Partial derivative definition
  14. Double integral definition
  15. Gradient definition
  16. Differentiable on an open set definition
  17. Higher partial derivatives definition
  18. Iterated derivative definition
  19. C^k function characterised by continuous derivatives statement
  20. Parametrised curve definition
  21. Parametrised surface definition
  22. Tangent plane and normal vector of a surface definition
  23. Surface area definition
  24. Surface integral definition
  25. Orientable surface definition

What depends on this

8 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Orientability, Orientable surfaces
  2. Web https://en.wikipedia.org/wiki/Orientability, Examples
  3. Web https://en.wikipedia.org/wiki/Normal_(geometry), Orientation