Math 2.0

definition

Orientation of a real vector space

Definition

Let VV be a real vector space of finite dimension n≥1n \ge 1. Two ordered bases BB and B′B' of VV have the same orientation when the change of basis matrix from BB to B′B' has positive determinant. This is an equivalence relation with exactly two classes. An orientation of VV is a choice of one of these two classes.

Remarks

A vector space with a chosen orientation is oriented, and the bases in the chosen class are positively oriented. The standard orientation of Rn\R^n is the class of the standard basis. In R2\R^2, exchanging the two basis vectors reverses the orientation. An invertible linear map keeps the orientation if and only if its determinant is positive.

Explanations

L1 human

An orientation fixes what counts as turning to the left, or as a right-handed system. In the plane, a counterclockwise pair of basis vectors and a clockwise pair have opposite orientations. A mirror reflection changes the orientation, and a rotation keeps it.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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 17 nodes in this order. The foundations come first, and the list ends with this node.

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. Identity matrix object
  2. Matrix definition
  3. Vector space definition
  4. Square matrix definition
  5. Linear combination definition
  6. Linear map definition
  7. Linear subspace definition
  8. Linear independence definition
  9. Linear span definition
  10. Multilinear map definition
  11. Spanning set definition
  12. Alternating multilinear map definition
  13. Basis definition
  14. Determinant definition
  15. Coordinate vector definition
  16. Change of basis matrix definition
  17. Orientation of a real vector space definition

Sources

  1. Web https://en.wikipedia.org/wiki/Orientation_(vector_space), Definition