Geometry/Chapter 11

Section 11.1 Number Sets and Fields
You are familiar with many or all of the terms natural numbers, integers, rational numbers as well as irrational numbers, real numbers, complex numbers. Geometry uses abbreviation and set notation for these. A set is a number of unique objects such as numbers. The following proposition describes number sets abbreviated thus: natural numbers are $$\N$$, integers are $$\Z$$ (from the German word zahlen [ˈtsaːlən]), rationals are $$\Q$$ (quotients,) reals are $$\R$$ , and complexes are $$\C$$ , and each set on the left is a subset, i.e. set contained within a set, of all sets on the right. That is indicated by a symbol similar to $$<$$, because each set on the right is either greater than all on the left, or seems to be greater than all on the left, though in some cases they are equal. It is fine if you know how certain ones are equal, but mainly note that the ones on the right have greater complexity than all to their left.

$$

Let us review the definitions of these sets with set builder notation. Following are the natural numbers; there are two ways of defining them. All objects within braces are elements, i.e. members, of the same set.

$$

$$

Integers are counting numbers and negative whole numbers: clearly any counting number can be called an integer.

$$

Each number set represents a number line, and a set with a subscript means numbers from 0 to 1 less than subscript, for example $$\Z_3=\{0,1,2\}$$. That is a reason counting numbers start at 0.

The following statement uses the symbols |, which means 'such that the following is true' (people usually just say 'such that,') and $$\in$$ (Greek letter eta). The object to the left of eta is an element of the set to the right of eta. Any integer can be written as a rational, but rational numbers include fractions/decimals.

$$

The rational, real, and complex numbers are fields, which are higher categories than sets. One property of fields is that they are ordered in a certain more complex way; it is good if you noticed the way to define rationals uses some more complex order.

$$

Any rational number can be written as a real one (such as with infinite zeroes afterwards,) but reals include irrational numbers. There are more complicated ways to define the reals which you do not need to know yet, but if you want to, read about Cantor's snake.

$$\mathbb{C}$$omplex numbers include imaginary numbers, and any non-imaginary number can be written as a complex one. These are not used much in geometry except advanced topics, but there is something you might find interesting about them. A number set with a superscript n means the set in n dimensions, defining n orthogonal number lines.

$$

Section 11.2 Dimensional Sets in Real Space
A ray represents $$\N$$, and lines represent $$\Z$$ , $$\Q$$ , but the ray and lines are more continuous ('appearing solid') than the sets.

$$

A number set with a sign superscripted means the set in that sign, and objects on the left and right of a $$\cup$$ symbol are defined to be in the same set. For example $$\R^+\cup0$$ is a ray from 0 to infinity in real space. Recall that $$\R$$ is a line, and note that it is a real (continuous; appearing 'solid') line, and recall that $$\R^2$$ is 2 orthogonal lines.

$$

$$

$$

Points in $$\R^4$$ are defined $$(x,y,z,t)$$ and it is used to described temporal geometric operations such as rotations, translations, and transformations, which are the main things you might use it for in geometry, but the set also defines 4-dimensional objects.