Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed
PRINT LINKED RELATED

Hilbert's Undefined Terms and Definitions

    It wasn't until after the discovery of non-Euclidean geometry that mathematicians began examining the foundations of Euclidean geometry and formulating precise sets of axioms for it. The problem was to erect the entire structure of Euclidean geometry upon the simplest foundation possible; i.e. to choose a minimum number of undefined elements and relations and a set of axioms concerning them, with the property that all of the Euclidean geometry can be logically deduced form these without further appeal to intuition. Hilbert's approach does address Euclid's lack of attention to the notion of undefined terms and the concepts of incidence, betweenness and congruence. An example of Hilbert's precision and detail was to distinguish between a line and a line segment, as Euclid did not. This topic details Hilbert's undefined terms and preliminary definitions which can be used to provide the basis for traditional Euclidean geometry. A famous quote from Hilbert: "One must be able to say at all times-instead of points, lines, and planes---tables, chairs, and beer mugs."

    A mutual understanding of the following terms is assumed: point, line, lie on, between, congruent, set, element of, intersection, and union. For example, two lines intersect means there is one point that lies on both of them; or said differently, two lines are incident (have a point in common).

Definition (Line Segment) Given two points hilbert undefined terms definitions axioms _gr_1.gif] and hilbert undefined terms definitions axioms _gr_2.gif], the line segment (or segment) hilbert undefined terms definitions axioms _gr_3.gif] is the set whose members are the points hilbert undefined terms definitions axioms _gr_4.gif] and hilbert undefined terms definitions axioms _gr_5.gif], and all points that lie on the line hilbert undefined terms definitions axioms _gr_6.gif] and are between hilbert undefined terms definitions axioms _gr_7.gif] and hilbert undefined terms definitions axioms _gr_8.gif]. The two points hilbert undefined terms definitions axioms _gr_9.gif] and hilbert undefined terms definitions axioms _gr_10.gif] are called the endpoints of segment hilbert undefined terms definitions axioms _gr_11.gif]

Definition (Circle) Given two points hilbert undefined terms definitions axioms _gr_12.gif] and hilbert undefined terms definitions axioms _gr_13.gif], the set of all points hilbert undefined terms definitions axioms _gr_14.gif] such that hilbert undefined terms definitions axioms _gr_15.gif] is called a circle with hilbert undefined terms definitions axioms _gr_16.gif] as the center and each of the segments hilbert undefined terms definitions axioms _gr_17.gif] is called a radius of the circle.

Definition (Ray) A ray hilbert undefined terms definitions axioms _gr_18.gif] is the following set of points: those points that belong to the segment hilbert undefined terms definitions axioms _gr_19.gif] and all points hilbert undefined terms definitions axioms _gr_20.gif] on hilbert undefined terms definitions axioms _gr_21.gif] such that hilbert undefined terms definitions axioms _gr_22.gif] is between hilbert undefined terms definitions axioms _gr_23.gif] and hilbert undefined terms definitions axioms _gr_24.gif]

Definition (Opposite Rays) Rays hilbert undefined terms definitions axioms _gr_25.gif] and hilbert undefined terms definitions axioms _gr_26.gif] are opposite rays if they are distinct, if they emanate from the same point hilbert undefined terms definitions axioms _gr_27.gif] and if they are part of the same line hilbert undefined terms definitions axioms _gr_28.gif]

Definition (Angle) An angle with vertex hilbert undefined terms definitions axioms _gr_29.gif] is a point hilbert undefined terms definitions axioms _gr_30.gif] together with two distinct non-opposite rays hilbert undefined terms definitions axioms _gr_31.gif] and hilbert undefined terms definitions axioms _gr_32.gif] (called the sides of the angle) emanating from hilbert undefined terms definitions axioms _gr_33.gif]

Definition (Supplementary Angles) If two angles hilbert undefined terms definitions axioms _gr_34.gif] and hilbert undefined terms definitions axioms _gr_35.gif] have a common side hilbert undefined terms definitions axioms _gr_36.gif] and the other two sides hilbert undefined terms definitions axioms _gr_37.gif] and hilbert undefined terms definitions axioms _gr_38.gif] form opposite rays, the angles are supplements of each other.

Definition (Right Angle) An angle hilbert undefined terms definitions axioms _gr_39.gif] is a right angle if it has a supplementary angle to which it is congruent.

Definition (Perpendicular) Two lines hilbert undefined terms definitions axioms _gr_40.gif] and hilbert undefined terms definitions axioms _gr_41.gif] are perpendicular if they intersect at a point hilbert undefined terms definitions axioms _gr_42.gif] and if there is a ray hilbert undefined terms definitions axioms _gr_43.gif] that is part of hilbert undefined terms definitions axioms _gr_44.gif] and a ray hilbert undefined terms definitions axioms _gr_45.gif] that is a part of hilbert undefined terms definitions axioms _gr_46.gif] such that hilbert undefined terms definitions axioms _gr_47.gif] is a right angle. Perpendicular lines hilbert undefined terms definitions axioms _gr_48.gif] and hilbert undefined terms definitions axioms _gr_49.gif] are denoted by hilbert undefined terms definitions axioms _gr_50.gif]

Definition (Midpoint) A point hilbert undefined terms definitions axioms _gr_51.gif] between hilbert undefined terms definitions axioms _gr_52.gif] and hilbert undefined terms definitions axioms _gr_53.gif] such that hilbert undefined terms definitions axioms _gr_54.gif] is called a midpoint of segment hilbert undefined terms definitions axioms _gr_55.gif]

Definition (Perpendicular Bisector) A perpendicular bisector is a line through a midpoint of a segment hilbert undefined terms definitions axioms _gr_56.gif] that is perpendicular to hilbert undefined terms definitions axioms _gr_57.gif]

Definition (Ray Bisects Angle) A ray hilbert undefined terms definitions axioms _gr_58.gif] bisects angle hilbert undefined terms definitions axioms _gr_59.gif] means hilbert undefined terms definitions axioms _gr_60.gif]

Definition (Collinear) Three points are collinear when they all lie on the same line.

Definition (Concurrent) Three lines are concurrent if they all pass through the same point.

Definition (Triangle) Given three non-collinear points hilbert undefined terms definitions axioms _gr_61.gif] and hilbert undefined terms definitions axioms _gr_62.gif] a triangle is the union of segments hilbert undefined terms definitions axioms _gr_63.gif] hilbert undefined terms definitions axioms _gr_64.gif] and hilbert undefined terms definitions axioms _gr_65.gif] The points   hilbert undefined terms definitions axioms _gr_66.gif] and hilbert undefined terms definitions axioms _gr_67.gif] are the vertices, the segments hilbert undefined terms definitions axioms _gr_68.gif] hilbert undefined terms definitions axioms _gr_69.gif] and hilbert undefined terms definitions axioms _gr_70.gif] are the sides, and the angles hilbert undefined terms definitions axioms _gr_71.gif] and hilbert undefined terms definitions axioms _gr_72.gif] are the angles of triangle hilbert undefined terms definitions axioms _gr_73.gif] Given one of the three vertices, the opposite side to the vertex is the segment not containing it, the adjacent sides to the vertex are the other two.

Definition (Medians of a Triangle) A median of a triangle is a segment from a vertex to a midpoint of its opposite side.

Definition (Altitudes of a Triangle) An altitude of a triangle hilbert undefined terms definitions axioms _gr_74.gif] is a segment hilbert undefined terms definitions axioms _gr_75.gif] such that hilbert undefined terms definitions axioms _gr_76.gif] is a vertex, hilbert undefined terms definitions axioms _gr_77.gif] lies on the line containing the opposite side hilbert undefined terms definitions axioms _gr_78.gif] to hilbert undefined terms definitions axioms _gr_79.gif] and hilbert undefined terms definitions axioms _gr_80.gif]

Definition (Isosceles Triangle) A triangle with at least two sides congruent is called an isosceles triangle.

Definition (Equilateral Triangle) A triangle with all three sides congruent is called an equilateral triangle.

Definition (Right Triangle) A triangle with a right angle is called a right triangle.

Definition (Parallel Lines) Two lines are parallel if no point lies on both of them.

Definition (Quadrilateral) Given four points hilbert undefined terms definitions axioms _gr_81.gif] and hilbert undefined terms definitions axioms _gr_82.gif] no three of which are collinear and such that any pair of the segments hilbert undefined terms definitions axioms _gr_83.gif] hilbert undefined terms definitions axioms _gr_84.gif] hilbert undefined terms definitions axioms _gr_85.gif] and hilbert undefined terms definitions axioms _gr_86.gif] either have no point in common or have only an endpoint in common, then a quadrilateral (denoted by hilbert undefined terms definitions axioms _gr_87.gif]) is the union of the segments hilbert undefined terms definitions axioms _gr_88.gif] hilbert undefined terms definitions axioms _gr_89.gif] hilbert undefined terms definitions axioms _gr_90.gif] and hilbert undefined terms definitions axioms _gr_91.gif] The points hilbert undefined terms definitions axioms _gr_92.gif] and hilbert undefined terms definitions axioms _gr_93.gif] are the vertices of the quadrilateral and the segments hilbert undefined terms definitions axioms _gr_94.gif] hilbert undefined terms definitions axioms _gr_95.gif] hilbert undefined terms definitions axioms _gr_96.gif] and hilbert undefined terms definitions axioms _gr_97.gif] are the sides of the quadrilateral.

Definition (Adjacent and Opposite Sides of a Quadrilateral) Two sides of a quadrilateral that have a common vertex are called adjacent sides of a quadrilateral and two sides that do not have a common vertex are called opposite sides of a quadrilateral.

Definition (Diagonals of a Quadrilateral) The diagonals of a quadrilateral are the segments that are not sides of the quadrilateral whose endpoints are vertices of the quadrilateral.

Definition (Parallelogram) A parallelogram is a quadrilateral such that for each pair of opposite sides, the lines containing those sides are parallel.

Geometry Books

Calculus (With Analytic Geometry)(8th edition) Product Image
List Price: $209.95
Buy Used: $71.79
You Save: $138.16 (66%)
New (56) Used (173) from $71.79Designed for the three-semester calculus course for math and science majors, Calculus continues to offer instructors and students new and innovative teaching and learning resources. This was the first (more)
The Misbehavior of Markets: A Fractal View of Financial Turbulence Product Image
List Price: $17.95
Buy New: $16.99
You Save: $0.96 (5%)
New (5) Used (4) from $7.48From the inventor/founder of fractal geometry, the award-winning book that turns modern financial theory on its head Mathematical superstar and inventor of fractal geometry, Benoit Mandelbrot, has spent (more)
The Fractal Geometry of Nature Product Image
Buy New: $34.99
New (6) Used (15) from $27.90Clouds are not spheres, mountains are not cones, and lightening does not travel in a straight line. The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary (more)
The Golden Ratio: The Story of PHI, the World's Most Astonishing Number Product Image
List Price: $14.95
Buy Used: $4.81
You Save: $10.14 (68%)
New (40) Used (51) Collectible (1) from $4.81Throughout history, thinkers from mathematicians to theologians have pondered the mysterious relationship between numbers and the nature of reality. In this fascinating book, Mario Livio tells the tale (more)
Trigonometry (9th Edition) Product Image
List Price: $138.67
Buy New: $85.32
You Save: $53.35 (38%)
New (33) Used (29) from $85.32Over the years, the text has been shaped and adapted to meet the changing needs of both students and educators. As always, special care was taken to respond to the specific suggestions of users and reviewers (more)
Geometry Product Image
List Price: $94.88
Buy Used: $6.95
You Save: $87.93 (93%)
New (29) Used (117) from $6.95Geometry (more)
Geometry For Dummies (For Dummies (Math & Science)) Product Image
List Price: $19.99
Buy New: $8.52
You Save: $11.47 (57%)
New (53) Used (10) from $8.52Learning geometry doesn?t have to hurt. With a little bit of friendly guidance, it can even be fun! Geometry For Dummies, 2nd Edition, helps you make friends with lines, angles, theorems and postulates. (more)
College Algebra with Modeling and Visualization (3rd Edition) (Rockswold Series) Product Image
List Price: $138.67
Buy Used: $20.00
You Save: $118.67 (86%)
New (25) Used (127) from $20.00Gary Rockswold focuses on teaching algebra in context, answering the question, "Why am I learning this?" and ultimately motivating the students to succeed in this class. In addition, the author's understanding (more)
Euclid's Elements Product Image
List Price: $29.95
Buy New: $25.99
You Save: $3.96 (13%)
New (2) from $25.99Green Lion Press has prepared a new one-volume edition of T.L. Heath's translation of the thirteen books of Euclid's "Elements" In keeping with Green Lion's design commitment, diagrams have been placed (more)
The Symmetries of Things Product Image
List Price: $75.00
Buy New: $60.00
You Save: $15.00 (20%)
New (7) Used (4) from $59.99Start with a single shape. Repeat it in some way translation, reflection over a line, rotation around a point and you have created symmetry. Symmetry is a fundamental phenomenon in art, science, and nature (more)

Cite this as:
Hilbert Undefined Terms Definitions Axioms
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/hilbert-undefined-terms-definitions-axioms.html
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2009 www.LibraryOfMath.com All rights reserved. math rss