This paper demonstrates an argument for the existence of actual infinities.

© All Rights Reserved

1 views

This paper demonstrates an argument for the existence of actual infinities.

© All Rights Reserved

- Sets And Functions
- trig function graphs lesson plan
- FCZ740 Pattern edit manual.pdf
- Chapter12006
- A recursive algorithm for finding HDMR terms for sensitivity analysis
- Excel.ppt
- icl
- Logical Foundations of Geometry
- State Diagrams
- dm4.pdf
- PBI Rubric
- minilesson plan guess the rule
- Std 12 Commerce Mathematics Statistics 1
- Section 1
- SAP 14 Lecture Notes 24 Jan 2011
- ADD MATHS
- Set Theory
- 4 6 ppt
- Vertical Line Test
- odonnell kelsey module6

You are on page 1of 2

construction of infinity (Hilbert Hotel style arguments).

However, consider the following map between L1 and L2. For all points, x, on L1 use a straightedge to

connect point P with x, and extend that connecting line through L2. The intersection point will be y. This

straight edge construction will be a map, f: from L1 to L2.

We can clearly see that f is a function. Every element of L1 maps to something in L2, so the map is "well

defined" in that sense. Further, because every line from P through L2 crosses only a single point in L1,

we don't have any instance of one x in L1 mapping to multiple y's in L2.

Further, f is injective (one-to-one). Every y in L2 comes only from a single x in L1 on the basis that only

one intersection through L1 on the way to P.

Finally, and most importantly, the map f is surjective (onto). Every y in L2 comes from some x in L1. To

see this, rather than picking an x in L1 and tracing through P and x, instead pick a y in L2 and trace from

P to y. You'll see that there exists no y in L2 which lacks a preimage in f.

Because f is an injective, surjective function, f is a bijection from L1 to L2. This implies that the

cardinality of L1 is the same as the cardinality of L2. However, if you rearrange the lines as follows, we

see that:

The map g is also a 1-1 map from L1 to L2, however this map is NOT onto. In fact, we can note that g as

defined is a strict embedding from L1 into L2 where each point in L1 maps to itself. However we see

from this that there exists several points in L2 which do not come from L1. So under this map, L1 will be

a strict subset of L2 with cardinality strictly less.

From this, we can see that L1 is a PROPER subset of L2. The map f shows that there is a 1-1

correspondence between L1 and L2. This demonstrates that L2 is an infinite set (Wolfram Mathworld).

Further because there is a bijection between L1 and L2, L1 and L2 have the same number of elements.

From the previous page, we see that every line segment contains an infinite number of points. No

contradiction has emerged from such a set actually existing. We now move to the second objection.

Objection 2: No infinite set can exist because removing an element from the set should have fewer

elements, but the set will still have the same number of elements. This supposedly marks a

contradiction.

But consider the map g we previously constructed. L1 was demonstrated to be a proper subset of L2.

Thus L1 is L2 with an infinite number of points removed.

So we can see a concrete example of an infinite set which still retains its "number of elements" even

after having, not only a single element, but an infinite number of elements removed.

While detractors of actual infinites tell me that lines of differing lengths simply can't exist, I guess I'll

have to do compass and straight edge geometry without them.

- Sets And FunctionsUploaded byVamsi Karthik
- trig function graphs lesson planUploaded byapi-204970231
- FCZ740 Pattern edit manual.pdfUploaded byRoque Antonio Altamirano
- Chapter12006Uploaded byeperla
- A recursive algorithm for finding HDMR terms for sensitivity analysisUploaded byHüseyin Kaya
- Excel.pptUploaded byshanmuga89
- iclUploaded byRocking Reddy
- Logical Foundations of GeometryUploaded bySebastian Vattamattam
- State DiagramsUploaded byRichmond Kerville Magallon
- dm4.pdfUploaded byJulia Gonzalez
- PBI RubricUploaded bygabrieladgalvez
- minilesson plan guess the ruleUploaded byapi-251897205
- Std 12 Commerce Mathematics Statistics 1Uploaded byRushikesh WAGHMARE
- Section 1Uploaded byfrancisco_araujo_22
- SAP 14 Lecture Notes 24 Jan 2011Uploaded bySubzar Bhat
- ADD MATHSUploaded byLim Sing Nee
- Set TheoryUploaded byread41
- 4 6 pptUploaded byapi-264845395
- Vertical Line TestUploaded byAngel Vicente
- odonnell kelsey module6Uploaded byapi-315580041
- New Microsoft Word Document (2)Uploaded byFirdous Ahmad
- Abstract Algebra - Dummit and FooteUploaded byChaseVetruba
- es configure finalUploaded byapi-340769184
- tarea -2puntosUploaded byEduardo Palancares
- alg 2 summer preparatory boot campUploaded byapi-267550118
- Calc_Var.pdfUploaded byDiana Liza
- 10th_MATHS_EM_Final_PDF-14-04-19 low res.pdfUploaded byAshok
- sdfghmbnUploaded byFGASR
- Hsslive Xii Maths Ch1 Relations and FunctionsUploaded byअहलावत एजुकेशन पैराडाइस
- Quadratic Functions and ParabolasUploaded byff

- Can you cheat by sleeping in bits?Uploaded byThe Spooky Serb
- The Text of the BibleUploaded byThe Spooky Serb
- Reading List for Prospective StudentsUploaded bymaxhk
- Problem Solving BooksUploaded byThe Spooky Serb
- Ezra Pound - ABC of ReadingUploaded bysamuelvelasco
- History of Protestantism in SerbiaUploaded byThe Spooky Serb
- Modular ArithmeticUploaded byThe Spooky Serb
- Reid Barton - Functional Equations.pdfUploaded byThe Spooky Serb
- VerificationismUploaded byThe Spooky Serb
- Christophori Besoldi Delibatorum Juris pUploaded byThe Spooky Serb
- Thomism (Medieval Studies)Uploaded byThe Spooky Serb
- Contemporary MetaphysicsUploaded byThe Spooky Serb
- BookUploaded byAaa Mmm
- Freedom in the Scholastic Tradition.pdfUploaded byThe Spooky Serb
- Rudolf CarnapUploaded byThe Spooky Serb
- The Distributist - How to Win the Culture WarUploaded byThe Spooky Serb
- Aristotle's MetaphysicsUploaded byThe Spooky Serb
- Olympiad Number TheoryUploaded byManOnWar
- An actual infinite can indeed exist.Uploaded byThe Spooky Serb
- Studmed.ru Georgi Howard Physics 16 Mechanics and Special Relativity Angl 4a7e59403e2Uploaded byThe Spooky Serb
- Mercantilism RevisitedUploaded byThe Spooky Serb
- The Cambridge History of Magic and Witchcraft.pdfUploaded byThe Spooky Serb

- CINEMA 4D Bonus ChapterUploaded byc4dquba
- n6Uploaded bydomeleu
- Banach Algebras and Spectral Theory (Lectures) - ColemanUploaded byTrương Tấn Đạt
- Maths Tutorial 2Uploaded byaditya jha
- paper 6 mathUploaded byapi-248642018
- Formula SheetUploaded byMahmoud M. Safadi
- Partial Fraction Expansions for Newton's and Halley's Iterations for Square RootsUploaded byahsbon
- m_stage_9_p110_01_afp1.pdfUploaded byNyonika
- Localization of acupoints on a head based on a 3D virtual bodyUploaded byMarco Salvatore Vanadìa
- Physics DPP 4 (JP & JR) Advanced FCUploaded byAnudeex Shetty
- lord task 4b math learning segementsUploaded byapi-292057281
- Critical Axial LoadUploaded byBùi Phạm Tâm Hòa
- grUploaded bytheanthem
- EngineeringDrawing_GSVUploaded byManindra Smile
- ME2151 - Engineering MechanicsUploaded byJ R Vinod Kumaar
- VectorUploaded bysiewthiang
- Introduction to Projection_Sumedha Premi_SITE Meerut_S4Uploaded byNava Krishnan
- Example 8Uploaded byAndre Oliveira
- Thomas Calculus Early Transcendentals 12th Txtbk Solution ManualUploaded byadma1
- WebChallengeProblems_3C3.pdfUploaded byRevanKumarBattu
- Estimation ManualUploaded bymayur_lanjewar
- Technical Drawing 1st Term 1st ESOUploaded byFrançoisMorenoHernandez
- Brodetsky_first_course_in_nomography.pdfUploaded bydpapalia3744
- Chapter 4_Isometric DrawingUploaded byEvioKim
- Ch 03 HWUploaded byAbbas
- Intermediate Dynamics.pdfUploaded byMarjoni Imamora
- Inter Elementary Math Quiz 2012Uploaded byIrin200
- computer notes - 3D ConceptsUploaded byecomputernotes
- Mathematical Coloring BookUploaded bysorren42
- V3I3-IJERTV3IS030449Uploaded bypalsetty

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.