Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Segmentation of Lines: Definitions and Notations

Description

This lecture introduces the concept of segments on a line, defining them as the set of points between two distinct points A and B on a line. It also explains the notation for segments and half-lines, and delves into the axioms governing the relation 'being between' points. Furthermore, it explores how a point on a line divides it into two half-lines, and extends this idea to the separation of a plane by a line into two distinct parts known as half-planes.

Official source

Related concepts (18)

Line segment

In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using a line above the symbols for the two endpoints (such as ).

Line (geometry)

In geometry, a line is an infinitely long object with no width, depth, or curvature. Thus, lines are one-dimensional objects, though they may exist embedded in two, three, or higher dimensional spaces. The word line may also refer to a line segment in everyday life that has two points to denote its ends (endpoints). A line can be referred to by two points that lie on it (e.g. ) or by a single letter (e.g. ).

Axiom

An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word ἀξίωμα (), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'. The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question.

Peano axioms

In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete.

Tarski's axioms

Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry that is formulable in first-order logic with identity, and requiring no set theory (i.e., that part of Euclidean geometry that is formulable as an elementary theory). Other modern axiomizations of Euclidean geometry are Hilbert's axioms and Birkhoff's axioms. Early in his career Tarski taught geometry and researched set theory.

Related lectures (31)

Quantum Bits: Illustrations and Postulates

Explores quantum bits, including illustrations, postulates, and examples of quantum systems and Hilbert space.

Axioms of Connection

Introduces the axioms of connection in Euclidean geometry, emphasizing unique lines and non-collinear points.

Vector Spaces: Definition, R2 MOOC: Linear Algebra (Part 1)

Introduces vector spaces with binary addition and scalar multiplication, exploring geometric examples in R2.

Quantum Entanglement

Delves into quantum entanglement, exploring entangled particles' state, evolution, and measurement.

Area: Axioms and Rectangles