Math 2.0

definition

Line

Definition

Let n≥2n \geq 2 be an integer. A line in the Euclidean space Rn\mathbb{R}^n is a set of the form L={ p+tv  :  t∈R },L = \{\, p + t v \;:\; t \in \mathbb{R} \,\}, where pp is a point of Rn\mathbb{R}^n. Here vv is a nonzero vector of Rn\mathbb{R}^n. The vector vv is a direction vector of LL.

Remarks

For two distinct points AA and BB, exactly one line contains both: the line through AA with the direction vector AB→\overrightarrow{AB}. The point pp and the vector vv are not unique. The same line has each point of LL as a base point, and each nonzero multiple of vv as a direction vector. In the plane R2\mathbb{R}^2, the lines are also the sets {(x,y):ax+by=c}\{(x, y) : a x + b y = c\} with real numbers aa, bb, cc and (a,b)≠(0,0)(a, b) \neq (0, 0). In the language of affine geometry, a line is an affine subspace of dimension 1.

Explanations

L1 human

Start at a point pp and walk forward or backward in the direction vv, for any amount of time tt. The points you can reach form the line. For example, with p=(0,1)p = (0, 1) and v=(1,2)v = (1, 2) you get the line y=2x+1y = 2x + 1 in the plane.

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 3 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. Euclidean space object
  2. Euclidean vector concept
  3. Line definition

Sources

  1. Web https://en.wikipedia.org/wiki/Line_(geometry), Parametric equation