Cantor's first set theory article: Difference between revisions

Revision as of 04:51, 2 November 2024

Latest revision as of 21:39, 11 July 2025

(2 intermediate revisions by 2 users not shown)

Line 138:

! style="background: f5f5f5;" |'''Proof that the number generated is {{sqrt|2}} − 1'''

|- style="text-align: left; vertical-align: top; background: white"

| style="padding-left: 1em; padding-right: 1em" |The proof uses [[Farey sequence]]s and [[simple continued fractionsfraction]]s. The Farey sequence <math>F_n</math> is the increasing sequence of [[completely reduced fraction]]s whose denominators are <math>\leq n.</math> If <math>\frac{a}{b}</math> and <math>\frac{c}{d}</math> are adjacent in a Farey sequence, the lowest denominator fraction between them is their [[mediant (mathematics)|mediant]] <math>\frac{a+c}{b+d}.</math> This mediant is adjacent to both <math>\frac{a}{b}</math> and <math>\frac{c}{d}</math> in the Farey sequence <math>F_{b+d}.</math><ref>{{harvnb|LeVeque|1956|pp=154&ndash;155}}.</ref>

Cantor's construction produces mediants because the rational numbers were sequenced by increasing denominator. The first interval in the table is <math>(\frac{1}{3}, \frac{1}{2}).</math> Since <math>\frac{1}{3}</math> and <math>\frac{1}{2}</math> are adjacent in <math>F_3,</math> their mediant <math>\frac{2}{5}</math> is the first fraction in the sequence between <math>\frac{1}{3}</math> and <math>\frac{1}{2}.</math> Hence, <math>\frac{1}{3} < \frac{2}{5} < \frac{1}{2}.</math> In this inequality, <math>\frac{1}{2}</math> has the smallest denominator, so the second fraction is the mediant of <math>\frac{2}{5}</math> and <math>\frac{1}{2},</math> which equals <math>\frac{3}{7}.</math> This implies: <math>\frac{1}{3} < \frac{2}{5} < \frac{3}{7} < \frac{1}{2}.</math> Therefore, the next interval is <math>(\frac{2}{5}, \frac{3}{7}).</math>

Line 518:

| publisher = Simon & Schuster

| ___location = New York

| year = 1937}}. Reprinted, 1984, {{isbn|978-0-671-62818-5}}.

| isbn = 978-0-671-62818-5}}.

* {{Citation | first1 = Garrett

| last1 = Birkhoff

Line 527 ⟶ 526:

| publisher = Macmillan

| ___location = New York

| year = 1941}}. Reprinted, Taylor & Francis, 1997, {{isbn|978-1-56881-068-3}}.

| year = 1941

| isbn = 978-1-56881-068-3}}.

* {{Citation | last = Burton

| first = David M.

Line 559 ⟶ 557:

| journal = Journal für die Reine und Angewandte Mathematik

| year = 1878| doi = 10.1515/crll.1878.84.242

| doi-broken-date = 111 NovemberJuly 20242025

}}.

* {{Citation | first = Georg

Line 699 ⟶ 697:

| ___location = Oxford

| year = 1938

|<!-- isbn = 978-0-19-921985-8 6th edition, not 1938 edition -->}}.

* {{Citation | last = Havil

| first = Julian

Line 764 ⟶ 762:

|volume = I

|publisher = Addison-Wesley

|___location = Reading, Mass.Massachusetts

|year = 1956

}}. ([https://archive.org/details/topicsinnumberth0000leve Reprinted by Dover Publications], 2002, {{isbn|978-0-486-42539-9}}.)

|isbn = 978-0-486-42539-9

|url-access = registration

|url = https://archive.org/details/topicsinnumberth0000leve

}}. (Reprinted by Dover Publications, 2002.)

* {{Citation | editor-last = Noether

| editor-first = Emmy