Infinitas
Infinitas (-atis, f.), signo ∞{displaystyle infty } notata, est notio quasi numerica quae adhibetur ad multas sententias mathematicas, philosophicas, et theologicas explicandas, quibus omnibus absentia finium aut termini modis variis intellegitur.
Nonnumquam homines, in locutione vulgari, loquuntur de infinitate in rebus finitis sed diu perennibus; ita hora, si quid invitus facere cogaris, videatur infinita. In aliis talibus casibus, saepe infinitas significat "rem maiorem quam maximam quam excogitari possit". Saepe etiam, homines loquuntur de plure quam infinitas, vel infinitate + 1, quae immo quippe ambae sunt nugae.[1]
In mathematica, infinitas usurpatur quasi numero reali. In quibusdam autem scholis rationis, infinitas e contrario non putatur esse numerus, sed conceptio theoretica.
In philosophia, tempus spatiumque ratione infinitatis explicentur, ut descripsit antinomia prima Immanuelis Kantii. Infinitum tempus appellatur Aeternitas. In philosophia Graeca, gratia exempli in eo quod Anaximander τὸ Ἄπειρον appellavit, infinitas est origo et fons omnium. In rebus theologicis, infinitas fit Deus. In theologia Iudaeo-Christiana, sicut in operibus Ioannes Duns Scoti, notio deitatis est infinitus non quantitate, at potestate.
Ut legas de spatio infinito, vide Universum.
Systemata Numerica Mathematicae | |
Numeri Elementarii | |
Naturales N{displaystyle mathbb {N} } {0,1,2,3,...} sive {1,2,3,...}
Integri Z{displaystyle mathbb {Z} } {...,-2,-1,0,+1,+2,...}
Rationales Q{displaystyle mathbb {Q} }
Complexi C{displaystyle mathbb {C} }
Infinitas ∞{displaystyle infty } | |
Variae radices | |
|
Index
1 De signo ∞{displaystyle infty }
2 Sententiae de Infinitate per historiam
2.1 Sententiae antiquae Orientales
2.1.1 Yajurveda
2.1.2 Genni
2.2 Sententiae priores Europaeae
2.2.1 Pythagoras
2.2.2 Parmenides et Zeno Eleaticus
2.2.3 Aristoteles
2.2.4 Archimedes et Plotinus
2.3 Sententiae Mediaevales
2.3.1 Guillelmus de Ockham
2.4 Sententiae a Renascentia usque ad hodiernum diem
2.4.1 Galilaeus
2.4.2 Lockius
2.5 Sententiae hodiernae
2.5.1 Blake
2.5.2 Cantor
2.5.3 Wittgenstein
3 Infinitas in mathematica
3.1 Proprietates infinitatis arithmeticae
3.1.1 Infinitas secum
3.1.2 Aequationes cum infinitate purisque numeris
3.1.3 Operationes indefinitae
3.1.4 Alia notanda
3.2 Infinitas in analysi reali et calculus infinitesimalis
3.3 Infinitas in geometria
3.3.1 Torricellius
4 Simiae infinitae
5 Infinitas in fictione scientiae
6 Nexus interni
7 Fontes
7.1 Bibliographia
8 Nexus externi
De signo ∞{displaystyle infty } |
Origines signi ∞{displaystyle infty } non clare cognoscuntur. Figura ipsa appellatur lemniscus, et in animo concipi potest modum quo iter trans curvum simplicem a lemnisco factum numquam finiret.
Aequatio Cartesiana quae lemniscum reddit est:
- (x2+y2)2=2a2(x2−y2){displaystyle (x^{2}+y^{2})^{2}=2a^{2}(x^{2}-y^{2}),}
Vulgo fama est ∞{displaystyle infty } signum derivatum esse a Moebii taenia. Item, in animo potest iter concipi aeternum trans faciem sine finibus. Haec autem explicatio haud sufficit, quoniam ∞{displaystyle infty } scribebatur ad infinitatem significandam fere ducentos annos prius quam Augustus Ferdinandus Moebius et Iohannes Benedictus Listing invenerint Moebii taeniam anno 1858.
Iohannes Wallis saepissime fertur instituisse ∞{displaystyle infty } ad infinitatem scribendam anno 1655, in suo libro De sectionibus conicis.[2] Coniectatur hoc signum a numero Romano pro 1000 derivatum esse, ipsum a numero Etrusco pro 1000, quod est specie CIƆ, et interdum significabat Romanis modo "plurima". Propositum etiam derivatum esse a littera Graeca ω (omega), littera ultima abecedarii Graeci.[3]
Etiam symbolum inventum est in arte vulgari, et in symbolis religiosis antiquis. Gratia exempli, οὐροβóρος saepe est pictus in forma lemnisci.
In Unicodice, ∞{displaystyle infty } designatur a ∞ , codice (U+221E) (∞).
Sententiae de Infinitate per historiam |
Per saecula, homines in noctis caelum intuebantur, universi fines coniectantes. Etiam enumerabant de finibus numerorum mirantes. Natura ergo infinitatem vel eius rationem petebant. Textus antiquissimi nobis noti sunt de philosophis Indicis.
Sententiae antiquae Orientales |
Yajurveda |
Inter primas sententias infinitatis notas reperitur in libro Indico Yajurveda[4] ("scientia precum orationis solutae") c. 1200–900 a.E.V.) qui continet hanc sententiam: "si ex infinitate removeas, vel infinitati addas, infinitas etiam remanet." Verbis exactis Sanscriticis:
- Pūrṇam adaḥ pūrṇam idam
- pūrṇāt pūrṇam udacyate
- pūrṇasya pūrṇam ādāya
- pūrṇam evāvasiṣyate
- Quae est Latine conversa:
- Plenum illud, plenum hoc ;
- ex pleno plenum tollitur.
- Cum pleni plenum aufertur
- plenum quidem manebit.[5]
– Philosophi Hindici, Yajurveda
– convertit CriticusFortuitus
Genni |
Genni,[6] in opere mathematico Surya Prajnapti (c. 400 a.E.V.) omnibus numeris tres categorias attribuerunt. Quisque categoria ultra divisa est in tribus ordinibus:
Enumerabiles : minores, medii, maiores.
Innumerabiles : fere innumerabiles, vere innumerabiles, infinite innumerabiles.
Infiniti : fere infiniti, vere infiniti, infinite infiniti.
Genni primi fuerunt qui dixerunt omnes infinitates non esse aequas. Infinitates dissimiles agnoverant quattuor, quae sunt: recta infinitas in una dimensione, quadrata infinitas in duabus dimensionibus, cubica infinitas in tribus dimensionibus, et infinita infinitas in dimensionibus infinitis.
Secundum Singh (1987), Joseph (2000), et Agrawal (2000), maximus numerus enumerablis N hominum Ianorum est hodierna aleph-null ℵ0{displaystyle aleph _{0}} (numeri cardinalis notio copiae iinfinitae integrorum 1, 2, . . . .), minimi transfiniti numeri cardinalis.
Sententiae priores Europaeae |
In Europa, primi Graeci de infinitate finxerunt.
Pythagoras |
Pyhtagoras docebat unitatem esse numerum maximae gravitatis; fontem omnium numerorum, ut facile numeremus ad infinitatem, modo unum addentes ad numerum priorem.[7]
Parmenides et Zeno Eleaticus |
Parmenides docebat praecepta Pythagoreis similia: dixit unum esse omnia, quod unus in partibus infinitis dividi posset.
Zeno Eleaticus diversa paradoxa proposuit ut theorias Parmenidis illustraret (circiter 460 a.E.V.). In uno ex his, quod est servatum et explicatum in Aristotelis Physicis, Achilles cursu Testudinem persequitur, at numquam potest praeterire, quod Achille ad locum Testudinis assecuto, iam Testudo ultra moverit. Ita hoc modo continuant ad infinitum:
"...ἔστιν δὲ καὶ οὗτος ὁ αὐτὸς λόγος τῷ διχοτομεῖν, διαφέρει δ’ ἐν τῷ διαιρεῖν μὴ δίχα τὸ προσλαμβανόμενον μέγεθος. τὸ μὲν οὖν μὴ καταλαμβάνεσθαι τὸ βραδύτερον συμβέβηκεν ἐκ τοῦ λόγου, γίγνεται δὲ παρὰ ταὐτὸ τῇ διχοτομίᾳ..."[8]
- Quae est Latine conversa:
...est autem et huius rationis eadem vis quae in partes aequales sectionis; sed hoc differt, quod magnitudinem quae accipitur non in dimidia dividit...[9]
– Zeno, in Aristotelis Physicis
– convertit Argyropolus
"Ζήνων δὲ παραλογίζεται· εἰ γὰρ αἰεί, φησίν, ἠρεμεῖ πᾶν [ἢ κινεῖται] ὅταν ᾖ κατὰ τὸ ἴσον, ἔστιν δ’ αἰεὶ τὸ φερόμενον ἐν τῷ νῦν, ἀκίνητον τὴν φερομένην εἶναι ὀϊστόν. τοῦτο δ’ ἐστὶ ψεῦδος· οὐ γὰρ σύγκειται ὁ χρόνος ἐκ τῶν νῦν τῶν ἀδιαιρέτων, ὥσπερ οὐδ’ ἄλλο μέγεθος οὐδέν. τέτταρες δ’ εἰσὶν οἱ λόγοι περὶ κινήσεως Ζήνωνος οἱ παρέχοντες τὰς δυσκολίας τοῖς λύουσιν, πρῶτος μὲν ὁ περὶ τοῦ μὴ κινεῖσθαι διὰ τὸ πρότερον εἰς τὸ ἥμισυ δεῖν ἀφικέσθαι τὸ φερόμενον ἢ πρὸς τὸ τέλος, περὶ οὗ διείλομεν ἐν τοῖς πρότερον λόγοις. δεύτερος δ’ ὁ καλούμενος Ἀχιλλεύς· ἔστι δ’ οὗτος, ὅτι τὸ βραδύτατον οὐδέποτε καταληφθήσεται θέον ὑπὸ τοῦ ταχίστου· ἔμπροσθεν γὰρ ἀναγκαῖον ἐλθεῖν τὸ διῶκον ὅθεν ὥρμησεν τὸ φεῦγον, ὥστε ἀεί τι προέχειν ἀναγκαῖον τὸ βραδύτερον. ἔστιν δὲ καὶ οὗτος ὁ αὐτὸς λόγος τῷ διχοτομεῖν, διαφέρει δ’ ἐν τῷ διαιρεῖν μὴ δίχα τὸ προσλαμβανόμενον μέγεθος. τὸ μὲν οὖν μὴ καταλαμβάνεσθαι τὸ βραδύτερον συμβέβηκεν ἐκ τοῦ λόγου, γίγνεται δὲ παρὰ ταὐτὸ τῇ διχοτομίᾳ (ἐν ἀμφοτέροις γὰρ συμβαίνει μὴ ἀφικνεῖσθαι πρὸς τὸ πέρας διαιρουμένου πως τοῦ μεγέθους· ἀλλὰ πρόσκειται ἐν τούτῳ ὅτι οὐδὲ τὸ τάχιστον τετραγῳδημένον ἐν τῷ διώκειν τὸ βραδύτατον), ὥστ’ ἀνάγκη καὶ τὴν λύσιν εἶναι τὴν αὐτήν. τὸ δ’ ἀξιοῦν ὅτι τὸ προέχον οὐ καταλαμβάνεται, ψεῦδος· ὅτε γὰρ προέχει, οὐ καταλαμβάνεται· ἀλλ’ ὅμως καταλαμβάνεται, εἴπερ δώσει διεξιέναι τὴν πεπερασμένην. οὗτοι μὲν οὖν οἱ δύο λόγοι, τρίτος δ’ ὁ νῦν ῥηθείς, ὅτι ἡ ὀϊστὸς φερομένη ἕστηκεν. συμβαίνει δὲ παρὰ τὸ λαμβάνειν τὸν χρόνον συγκεῖσθαι ἐκ τῶν νῦν· μὴ διδομένου γὰρ τούτου οὐκ ἔσται ὁ συλλογισμός.
"τέταρτος δ’ ὁ περὶ τῶν ἐν τῷ σταδίῳ κινουμένων ἐξ ἐναντίας ἴσων ὄγκων παρ’ ἴσους, τῶν μὲν ἀπὸ τέλους τοῦ σταδίου τῶν δ’ ἀπὸ μέσου, ἴσῳ τάχει, ἐν ᾧ συμβαίνειν οἴεται ἴσον εἶναι χρόνον τῷ διπλασίῳ τὸν ἥμισυν. ἔστι δ’ ὁ παραλογισμὸς ἐν τῷ τὸ μὲν παρὰ κινούμενον τὸ δὲ παρ’ ἠρεμοῦν τὸ ἴσον μέγεθος ἀξιοῦν τῷ ἴσῳ τάχει τὸν ἴσον φέρεσθαι χρόνον· τοῦτο δ’ ἐστὶ ψεῦδος. οἷον ἔστωσαν οἱ ἑστῶτες ἴσοι ὄγκοι ἐφ’ ὧν τὰ ΑΑ, οἱ δ’ ἐφ’ ὧν τὰ ΒΒ ἀρχόμενοι ἀπὸ τοῦ μέσου, ἴσοι τὸν ἀριθμὸν τούτοις ὄντες καὶ τὸ μέγεθος, οἱ δ’ ἐφ’ ὧν τὰ ΓΓ ἀπὸ τοῦ ἐσχάτου, ἴσοι τὸν ἀριθμὸν ὄντες τούτοις καὶ τὸ μέγεθος, καὶ ἰσοταχεῖς τοῖς Β. συμβαίνει δὴ τὸ πρῶτον Β ἅμα ἐπὶ τῷ ἐσχάτῳ εἶναι καὶ τὸ πρῶτον Γ, παρ’ ἄλληλα κινουμένων. συμβαίνει δὲ τὸ Γ παρὰ πάντα [τὰ Β] διεξεληλυθέναι, τὸ δὲ Β παρὰ τὰ
ἡμίση· ὥστε ἥμισυν εἶναι τὸν χρόνον· ἴσον γὰρ ἑκάτερόν ἐστιν παρ’ ἕκαστον. ἅμα δὲ συμβαίνει τὸ πρῶτον Β παρὰ πάντα τὰ Γ παρεληλυθέναι· ἅμα γὰρ ἔσται τὸ πρῶτον Γ καὶ τὸ πρῶτον Β ἐπὶ τοῖς ἐναντίοις ἐσχάτοις, [ἴσον χρόνον παρ’ ἕκαστον γιγνόμενον τῶν Β ὅσον περ τῶν Α, ὥς φησιν,] διὰ τὸ ἀμφότερα ἴσον χρόνον παρὰ τὰ Α γίγνεσθαι. ὁ μὲν οὖν λόγος οὗτός ἐστιν, συμβαίνει δὲ παρὰ τὸ εἰρημένον ψεῦδος."[10]
(conversus ab Argyropylo)
Zeno vero prave ratiocinatur. dicit enim, si semper omne quiescit aut movetur, cum est in sibi aequali, id autem quod fertur, est sibi aequali spatio, in ipso nunc semper, immobilem eam esse sagittam quae fertur. hoc autem est falsum: tempus enim non ex ipsis nunc indivisibilibus constat, quemadmodum nec ulla alia magnitudo. quattuor autem Zenonis de motu sunt rationes, quae difficultatem solventibus afferunt. at prima quidem est ea qua motus ex eo tollitur, quia prius ad medium quam ad finem id quod fertur pervenire oportet: de qua distinximus antea. secunda vero est ea quae nuncupatur Achilles, qua motus rursus ex eo tollitur, quia nunquam id quod celerrime currit, id consequetur quod tardius currit: id enim quod persequitur eo perveniat ante necesse est, unde id quod fugit fugam arripuit; quare tardius ipsum semper aliquo spatio praecedat necesse est. est autem et huius rationis eadem vis quae in partes aequales sectionis; sed hoc differt, quod magnitudinem quae accipitur non in dimidia dividit. accidit igitur ut tardius ipsum non attingatur ex ratione nimirum ipsa. fit autem ob divisionem, qua quidem et antecedens utitur ratio. in utrisque namque fit ut non perveniatur ad finem magnitudine subeuntem et si non eodem modo, divisionem. sed in hac additur tamquam tragice decantatum, ne celerrimum quidem unquam tardissimum attingere persequendo. quare solutionem utriusque eandem esse necesse est. id vero, quod censet nunquam id attingi quod antecedit, falsum est: nam cum antecedit, non attingitur, attamen attingitur tandem, si dabit magnitudinem finitam id quod movetur transire. hae igitur duae sunt rationes Zenonis. tertia vero est ea quae quiescere dicit sagittam, cum fertur; de qua paulo ante diximus. Accidit autem id ex eo quia tempus sumitur ex suis punctis constare; quod si non dederis, ratio continuo exspirabit.
Quarta est ea quae de iis est aequalibus molibus, quae propter aequales alias moles aequali celeritate partim e calce stadii, partim e medio contra moventur; ubi fieri putat ut duplo tempori dimidium sit aequale. rationis autem fallacia in existimatione illa consistit. ea namque quorum alterum fertur propter quescens, alterum propter id quod movetur, aequalem magnitudinem celeritate aequali transire in aequali tempore censet. hoc autem falsum est. sint quiescentes quidem aequales moles a a a a; super has autem moveantur b b b b, incipiendo a medio ipsarum molium a, numero et magnitudine aequales; c c c c vero his aequales modo eodem et aeque celeres super ipsas, incipiendo a prima, quae est in medio ipsarum a, motu contrario moveantur. accidit igitur primam b atque c molem simul in ipsis esse extremis, et c quidem universas b moles, b vero dimidium ipsarum a pertransivisse. quare fit ut sit dimidium tempus: utraque enim aequali tempore molium unamquanque transivit. et insuper accidit b per omnes moles c transivisse. prima namque c et b moles in contrariis sunt extremis, tanto in tempore per unamquanque b molium mota quanto quanque molium a transivit, ut dicit, propterea quod utraque aequali in tempore per a moles est mota. ratio igitur haec est. fit autem ob id quod diximus falsum.[9]
Aristoteles |
In Europa et scholis rationis Europaeis hodiernis, theoria solita ab Aristotele data est (circa 350 a.E.V.):
"... ἐπὶ δὲ τὸ πλεῖον ἀεὶ ἔστι νοῆσαι· ἄπειροι γὰρ αἱ διχοτομίαι τοῦ μεγέθους. ὥστε δυνάμει μὲν ἔστιν, ἐνεργείᾳ δ’ οὔ· ἀλλ’ ἀεὶ ὑπερβάλλει τὸ λαμβανόμενον παντὸς ὡρισμένου πλήθους."[11]
- Quae est Latine conversa:
"... versus plus autem fit ut semper intelligatur. divisiones enim magnitudinis duas in partes aequales sunt infinitae. quare potentia quidem est, actu non est : sed semper id quod accipitur, multitudinem omnem exsuperat definitam."[9]
– Aristoteles, Physica
– convertit Argyropylus etiam
Hoc discrimen inter "infinitum potentia" et "infinitum actu" diu magni momenti erat inter philosophos Europaeos. Attamen duae sententiae in loco citato complicantur, quarum altera est numerari semper posse praeter quemlibet numerum, etiamsi tot tantaeve res non existent. Altera est posse quantificare super series infinitas absque impeditione. Exempli gratia, ∀n∈Z(∃m∈Z[m>n∧P(m)]){displaystyle forall nin mathbb {Z} (exists min mathbb {Z} [m>nwedge P(m)])}, id est: "dato integro ullo n, est integer m > n ut P(m)".
Archimedes et Plotinus |
Archimedes usurpavit infinitatem in eodem modo calculi integralis. Clarissimum exemplum fuit inventio valoris π. Circa 250 a.E.V., et in maxime parte ad sapientiam Eudoxi Cnidii, Archimedes propulsit progressum ad infinitatem intelligendam, rationem limitum investigans. Circumscripsit circum circulum polygonum, cuius latera omnia circuli circumitum tectigit, et scripsit intra circulum polygonum, cuius anguli omnes tectigerunt. Si latera polygonorum augescunt, differentia inter suas areas areae circuli appropinquat. Ubi Archimedes inscribit et circumscribit polygona 96 laterum, approximavit valorem π est inter 3 + 1/7 (~3.1429) et 3 + 10/71 (~3.1408). Ut late noscetur, π est numerus irrationalis, cuius inventio valde Pythagoreanos vexavit. Archimedes scripsit π numeros praeter punctum decimalem infinitos continere, et suam approximationem numquam eius valorem totum advenituram esse. At etiam sciit suam approximationem valori toto approprinquaturam esse, dum latera polygonorum ad infinitatem augescunt. Hoc modo viam struxit ad caclculum cum limitibus.
In alio opere, Archimedes temptavit numerum harenularum quae Universum impleat calculare, rationem quae dicit multitudines maximas infinitam esse dimittens.
"Οἴονταί τινες, βασιλεῦ Γέλων, τοῦ ψάμμου τὸν ἀριθμὸν ἄπειρον εἶμεν τῷ πλήθει· λέγω δὲ οὐ μόνον τοῦ περὶ Συρακούσας τε καὶ τὰν ἄλλαν Σικελίαν ὑπάρχοντος, ἀλλὰ καὶ τοῦ κατὰ πᾶσαν χώραν τάν τε οἰκημέναν καὶ τὰν ἀοίκητον."[12]
- Quae est Latine conversa:
"Sunt, qui existement, rex Gelon, numerum arenae infinitum esse magnitudine[13]; dico autem, non solum eius, quae circa Syracusas et reliquam Siciliam est, sed etiam quae in qualibet regione siue culta siue inculta."[14]
- Commentatio interpretis:
Probatio eius systema numerandi adhibebat in μυριάδος (ex μύριος, "infinitus") fundatum. Haud numerum rectum Archimedes invenit, at eius defensio finitatis utilis fuit in conceptiones aliorum de infinitate mutando.[15]
– Archimedes, Arenarius
– convertit Iohannes Ludovicus Heiberg
Sententiae Mediaevales |
Guillelmus de Ockham |
Parmenidis Aristotelisque sententias simplicius scripserunt auctores mediaevales, sicut Guillelmus de Ockham (1327):
"Sed omne continuum est actualiter existens. Igitur quaelibet pars sua est vere existens in rerum natura. Sed partes continui sunt infinitae quia non tot quin plures, igitur partes infinitae sunt actualiter existentes."[16]
– Guillelmus de Ockham, Opera Philosophica et Theologica
Ergo, infinitus non potest esse ullus numerus, quod cuilibet numero semper erit numerus maior magnitudine, "quia non tot quin plures."
Sententiae a Renascentia usque ad hodiernum diem |
Galilaeus |
Galilaeus primus notavit biiectionem serierum infinitorum, cum ullis suorum subserierum. Exempli gratia, series numerorum quadratum {1, 4, 9, 16 . . .} coordinetur cum radicibus suis, nempe numeris naturalibus {1, 2, 3, 4 . . .} in hoc modo (1638:
- 1, 2, 3, 4, . . .
- ↓ ↓ ↓ ↓
- 1, 4, 9, 16, . . .
Videbatur ab hac dialectica ut series natura minor (ita, quod modo continet aliquot non omnes numeros seriei) quam serie cuius est pars sit, aliquo modo, eadem magnitudine. Hanc dixit Galilaeus esse "ex istis difficultatibus, quae suam ducunt originem ex discursu quem intellectus noster finitus circa infinita instituit".[17] In dialogis De duabus novis scientiis, Salviati, cum Sagredo Simplicioque in elencho colloquens, dicit haec:
"Io non veggo che ad altra decisione si possa venire, che a dire, infiniti essere tutti i numeri, infiniti i quadrati, infinite le loro radici, né la moltitudine de' quadrati esser minore di quella di tutti i numeri, né questa maggior di quella, ed in ultima conclusione, gli attributi di eguale maggiore e minore non aver luogo ne gl'infiniti, ma solo nelle quantità terminate."[18]
- Quae est Latine conversa:
"Non alio modo eum decidi posse video, quam dicendo infinitos esse omnes numeros, infinita quadrata, infinitas eorum radices; quadratorum multitudinem non esse minorem multitudine omnium mimerorum, [sic] nec istam hac maiorem ; et tandem concludendo, aequalitatis, maioritatis et minoritatis attributa in Infinitis nullum habere locum, utpote quae in quantitates terminatas solummodo cadunt."[19]
– Galilaeus, De duabus novis scientiis
Lockius |
Ioannes Lockius, sicut philosophi empiristae, homines credidit non posse infinitatem intellegere. Asseruit nostros sensus nobis indicare omnia de mundo quae possimus intellegere, quoniam omnes sensus, et omnia quae possunt sentire sint natura finiti, ergo quippe necessitate nostrae cogitationes esse finitas. Nostra ratio de infinitate esse "negativa" vel "privitiva" (circa 1680):
Quascumque in animis ideas habemus positivas spatii, durationis, vel numeri, qualitercunque magnae sint e nihilominus sunt finitae ; quando verò supponimus residuum inexhaustum, à quo terminos omnes removermus, et in quo menti indulgemus infinitam cogitationis progressionem, ita ut nunquam consummetur idea ibi nostram infinitatis ideam habemus; quae etiamsi quodammodo clara esse videatur cùm in eâ nihil consideremus praeter finis negationem; attamen cùm in animis nostris spatii, aut durationis infinitae ideam effingere velimus, idea ista valde obscura est, et confusa, quoniam è duabus partibus conflatur, quae valdè inter se diversae sunt, si non planè contradictoriae. Formet quippe in animo sibi quivis spatii cujusvis aut numeri ideam utcunque magnam, manifestum est mentis cogitationem in istà ideâ terminari, quod infinitatis idea repugnat ; ea etenim in imaginariâ progressione infinitâ consistit.[20]
– Ioannes Lockius
Sententiae hodiernae |
- "Duae res tantum sunt infinitae: universum, et stultitia hominum. De priore autem haud sum certus."--Albertus Einstein
Blake |
Gulielmus Blake autem credidit nostram inopiam perceptionis esse impeditionem primam in infinitatem intelligendam. Dixit (1793):
"If the doors of perception were cleansed, every thing would appear to man as it is: infinite."[21]
- Quae est Latine conversa:
"Si portae perceptionis purgentur, omnia homini videantur ut sunt: infinita."[22]
– Gulielmus Blake, The Marriage of Heaven and Hell
– convertit Ioscius
Cantor |
Georgius Cantor biiectionis theoriam Galilaei refellit in suo argumento diagonali (1891):
Per indicem serierum ab 0is et 1is constructorum infinitum, instruamus novam sequentiam elementorum s0 ut eius elementum primum differat ab elemento primo primae sequentiae in indice, elementum secundum differat ab elemento secundo secundae sequentiae in indice, et cetera in hoc modo, ut num elementum diferat ab no elemento nae sequentiae. Ita, s0,m erit 0 si sm,m est 1, et s0,m erit 1 si sm,m est 0.
Exempli gratia:
s1 = (0, 0, 0, 0, 0, 0, 0, ...)
s2 = (1, 1, 1, 1, 1, 1, 1, ...)
s3 = (0, 1, 0, 1, 0, 1, 0, ...)
s4 = (1, 0, 1, 0, 1, 0, 1, ...)
s5 = (1, 1, 0, 1, 0, 1, 1, ...)
s6 = (0, 0, 1, 1, 0, 1, 1, ...)
s7 = (1, 0, 0, 0, 1, 0, 0, ...)- ...
s0 = (1, 0, 1, 1, 1, 0, 1, ...)
(Elementa s1,1, s2,2, s3,3, et cetera litteris fortis scribuntur, ut ratio nominis diagonalis plane videatur.)
Deinde sequitur ut series T, ab infinitis sequentiis zerorum unorumque non poniatur in indicem s1, s2, s3, ... Nisi, in illo modo instruamus sequentiam s0 qui et sit in indice T (quia est sequentia zerorum unorumque de sequentiis in T natura est ipsa in T), et simul non est in T (quod eam instruamus ut diferat ab omnibus sequentiis in T aliis).
Ergo T non conferatur cum numeris naturalibus a biiectione. Brevius: est innumerabilis.[23]
Wittgenstein |
Natura infinitatis etiam disputatur. Aliqui putant esse partem mathematicae, alii philosophiae. Alii ultra ambas coniungunt, sicut Ludovicus Wittgenstein qui impetum saeve egit in theoriam seriei axiomaticam (1933):
:"... I can see in space the possibility of any finite experience... we recognise [the] essential infinity of space in its smallest part." "[Time] is infinite in the same sense as the three-dimensional space of sight and movement is infinite, even if in fact I can only see as far as the walls of my room."
"... what is infinite about endlessness is only the endlessness itself."[24]
- Quae sunt Latine conversa:
"Possum videre in spatio possibilitatem quamlibet experientiam finitam... essentialem infinitatem agnoscemus spatii in partibus minimis." "[Tempus] est infinitum in eodem modo quo spatium trium dimensionum est infinitum, etiamsi non possim vere spectare praeter parietes mei cubiculi."
"quae sit infinita de infinitate est modo infinitas ipsa."[25]
– Ludovicus Wittgenstein, Philosophical Remarks
– convertit Iustinus
Infinitas in mathematica |
Infinitas est numerus maior magnitudine quam omnes numeri naturales vel numeri reales. Est tam magna, ut homines vix possint magnitudinem intellegere. Attamen, sicut cum −1{displaystyle {sqrt {-1}}}, quae quoque vix intellegitur, infinitas perfacile tractatur in functionibus mathematicis.
Proprietates infinitatis arithmeticae |
Infinitas non est numerus purum at tamen consideretur pars esse lineae numerorum realium, in qua arithmetica opera possunt ad infinitatem pertinientes perfaci. Subter sunt multae operationes arithmeticae cum Infinitate et aliis numeris.
−∞{displaystyle -infty } . . . . . . +∞{displaystyle +infty }
Infinitas secum |
- 1. ∞+∞=∞{displaystyle infty +infty =infty ,}, et −∞+(−∞)=−∞{displaystyle -infty +(-infty )=-infty ,}
- 2. ∞⋅∞=x{displaystyle infty cdot infty =x,}, et −∞⋅(−∞)=x{displaystyle -infty cdot (-infty )=x,}, et ∞⋅(−∞)=−x{displaystyle infty cdot (-infty )=-x,}
- 1. ∞+∞=∞{displaystyle infty +infty =infty ,}, et −∞+(−∞)=−∞{displaystyle -infty +(-infty )=-infty ,}
Aequationes cum infinitate purisque numeris |
- 1. −∞<x<∞{displaystyle -infty <x<infty ,}
- 2. x+∞=∞{displaystyle x+infty =infty ,}, et x+(−∞)=−∞{displaystyle x+(-infty )=-infty ,}
- 3. x−∞=−∞{displaystyle x-infty =-infty ,}, et x−(−∞)=∞{displaystyle x-(-infty )=infty ,}
- 4. x∞=0{displaystyle {x over infty }=0,}, et x−∞=0{displaystyle {x over -infty }=0,}
- 5. Si x>0{displaystyle x>0,} deinde
- x⋅∞=∞{displaystyle xcdot infty =infty }
- x⋅(−∞)=−∞{displaystyle xcdot (-infty )=-infty ,}
- 6. Quod si x<0{displaystyle x<0,} deinde
- x⋅∞=−∞{displaystyle xcdot infty =-infty }
- x⋅(−∞)=∞{displaystyle xcdot (-infty )=infty ,}
- 1. −∞<x<∞{displaystyle -infty <x<infty ,}
Operationes indefinitae |
- 1. 0⋅∞{displaystyle 0cdot infty ,}, et 0⋅(−∞){displaystyle 0cdot (-infty ),}
- 2. ∞+(−∞){displaystyle infty +(-infty ),}, et ∞−∞{displaystyle infty -infty ,}
- 3. ±∞±∞{displaystyle {pm infty over pm infty },}
- 4. (±∞)0{displaystyle {(pm infty )}^{0},}
- 5. 1±∞{displaystyle 1^{pm infty },}
- 6. ∞+∞=∞⋅∞=(−∞)⋅(−∞)=∞{displaystyle infty +infty =infty cdot infty =(-infty )cdot (-infty )=infty }
- 7. (−∞)+(−∞)=∞⋅(−∞)=(−∞)⋅∞=−∞{displaystyle (-infty )+(-infty )=infty cdot (-infty )=(-infty )cdot infty =-infty }
- 1. 0⋅∞{displaystyle 0cdot infty ,}, et 0⋅(−∞){displaystyle 0cdot (-infty ),}
Alia notanda |
Nota bene [x∞=0]≢[0⋅∞=x]{displaystyle [{x over infty }=0]not equiv [0cdot infty =x]}. Hoc est quia zero multiplicatur infinitate non definitur.
Nota etiam [x∞=0]{displaystyle left[{x over infty }=0right]} non aequare [0⋅∞=x]{displaystyle left[0cdot infty =xright]}. Si secunda esset vera, necesse sit vera ess pro omni x, et a transitivitate aequalium relationis, omnes numeri sint aequales. Hoc est significantia indefinitatis sententiae 0⋅∞{displaystyle 0cdot infty }.
Etiam per Hospitalii regulam, limes solutionum indefinitarum pro aequatione n inveniantur, si aequatio scribatur forma ∞∞{displaystyle infty over infty } vel 00{displaystyle 0 over 0}, quae saepe solutionem definitam producit.
Infinitas in analysi reali et calculus infinitesimalis |
In analysi reali, signum ∞{displaystyle infty }, "infinitas" appellatur, denotat limitem infinitam. x→∞{displaystyle xrightarrow infty } significat x crescere ultra quemlibet valorem designatum, et x→−∞{displaystyle xrightarrow -infty } significat x tandem aliquando minus fieri quam quilibet valor designatus.
Infinitas saepe adhibetur non solum ad limitem definiendam, immo etiam in analysi reali quasi numerus realis esset; si f(t) ≥ 0 deinde:
∫01f(t)dt =∞{displaystyle int _{0}^{1},f(t)dt =infty } significat f(t) non definire aream finitam ab 0 ad 1.
∫0∞f(t)dt =∞{displaystyle int _{0}^{infty },f(t)dt =infty } significat aream sub f(t) infinitam esse.
∫0∞f(t)dt =1{displaystyle int _{0}^{infty },f(t)dt =1} significat aream sub f(t) appropinquere 1
Infinitas in geometria |
Partes multarum figurarum geometricarum sunt infinitae. Ex centro circuli inifiniti radii describantur. Linea in duas partes dimidiatas bipartiatur ad infinitum; semper erit etiam linea ex qua duae sectiones extraheatur.
Torricellius |
Figura ad dextram inventa est anno 1644 ab Evangelista Torricellio, appellatur Torricellii cornu. Eius copia est finita, at area superfaciei est infinita. Torricellii verbis:
Incredibile videri potest, cum solidum hoc infinitam longitudinem habeat, nullam tamen ex illis superficiebus cylindricis quas nos consideramus, infinitam longitudinem habere; sed vnamquamq' esse terminatam; vt vnicuiq; patebit, cui vel modicè familiaris sit doctrina Conicorum.[26]
– Evangelista Torricellius, Opera Geometrica
Simiae infinitae |
Est sententia sensu prisca et forma multiplex quae saepius hodie contexitur a simiis infinitis. Breviter, dicit sortes cuiusdam eventus improbabilis, temptatas per vices infinitas, tandem infinitati appropinquaturas. Elegantius, suasum est si esset infinitus simiarum numerus cum digitis forte cadentibus in superfaciem infinitarum machinarum dactylographicarum, statim corpus integrum Gulielmi Shakespeare scriptum fore.
Ut dictum est, huius sensus sententiae priscus est, et Cicero ipse dedit fontem, at re vera dubitans, Ennio loco Shakespeare:
Hic ego non mirer esse quemquam, qui sibi persuadeat corpora quaedam solida atque individua vi et gravitate ferri mundumque effici ornatissimum et pulcherrimum ex eorum corporum concursione fortuita? Hoc qui existimat fieri potuisse, non intellego, cur non idem putet, si innumerabiles unius et viginti formae litterarum vel aureae vel qualeslibet aliquo coiciantur, posse ex is in terram excussis annales Enni, ut deinceps legi possint, effici; quod nescio an ne in uno quidem versu possit tantum valere fortuna.
– Cicero, De Natura Deorum, 2.93
Infinitas in fictione scientiae |
In The Hitchhiker's Guide to the Galaxy sunt hae definitiones infinitatis:
"Bigger than the biggest thing ever and then some, much bigger than that, in fact really amazingly immense, a totally stunning size, real 'Wow, thats big!' time. Infinity is just so big that by comparison, bigness itself looks really titchy. Gigantic multiplied by colossal multiplied by staggeringly huge is the sort of concept we are trying to get across here."[27]
"Infinity itself looks flat and uninteresting. Looking up into the night sky is looking into infinity -- distance is incomprehensible and therefore meaningless.[28]
- Quae sunt Latine conversa:
"Ingentior ingentissima re ullius aevi, praeterque aliquid amplius, multo maior quam hac, re vera profecto immensa omnino miratu, magnitudinis omnino stupefacientis, puri 'Ecce, illudst magnum!' temporis. Infinitas est presse tam ingentissima ut magnitas ipsa in comparatione videatur minima. Pergrandis multiplicatur ab immanissima multiplicatur a titubantitim ingentissimo...tale est modus sententiae quem hic transferre conamur."
"Infinitas ipsa videtur plana et iniucunda. Intui sursum in caelum noctis est in infinitatem pervidere -- distantia non potest intellegi et ergo nullam rationem confert."
– Duglassius Adams, The Hitchhiker's Guide to the Galaxy
– convertit Ioscius
Nexus interni
- Absolutum (philosophia)
- Aeternitas
- Calculus infinitesimalis
- Fragor Maximus
- Infinitas plus unus
Fontes |
↑ *John Monaghan, Young Peoples' Ideas of Infinity, Educational Studies in Mathematics, 2001, vol 48, pp 239-257.
- Polly Shulman, Infinity Plus One, and Other Surreal Numbers Discover, vol 16, iss 12, December 1995.
- David Tall, A child thinking about infinity Journal of Mathematical Behavior, vol 20, iss 1, 2001, pp 7-19.
- Polly Shulman, Infinity Plus One, and Other Surreal Numbers Discover, vol 16, iss 12, December 1995.
↑ De Sectionibus Conicis p. 4: "...ex infinitis Prallelogrammis [SIC] æquè altis; quorum quidem singulorum altitudo sit totius altitudinis 1∞{displaystyle {frac {1}{infty }}}, sive aliquota pars infinite parva ; (esto enim ∞{displaystyle infty } nota numeri infiniti). . . ."
↑ Iulius Cabillon. Textus citationum de signi ∞{displaystyle infty } originibus compositus. (Anglice scriptus)
↑ Cf. Albrechti Webber Vratislaviensis Yajurvedae specimen cum commentario, anno 1845
↑ Translatio ab usore CriticoFortuito. Vide Disputatio:Infinitas#Yajurveda ut explicationem (Anglice) legas.
↑ Hesychius γ364: "Γεννοί· οἱ Γυμνοσοφισταί". Vide Translitteratio Linguae Graecae.
↑ Commentatio de The Mystery Of The Aleph: Mathematics, the Kabbalah, and the Search for Infinity in the Washington Post, Amir D. Aczel, 16 Novembris, 2000.
↑ Aristoteles Physica VI.ix, 239b15.
↑ 9.09.19.2 Ioannes Argyropylus Byzantius, Physica Auscultatio. Textus desumptus de libro Aristotelis opera quem edidit Academia Regia Borussica anno 1831: PA 3895 .A4 1831 v. 3.
↑ Aristotelis Physica VI.ix, 239b-240a.
↑ Aristoteles Physica III.vii
↑ Archimedes, Arenarius, 2.134.
↑ "Hoc tritum prouerbium erat Graecis; Pindarus Ol. II, 98; Paroemiogr. Gr. p. 11, 167, 250 ed. Gaisford"
↑ I.L. Heiberg, PA 3873 .A8 1880 (v. 2 p. 244).
↑ http://www.math.uwaterloo.ca/navigation/ideas/reckoner.shtml
↑ Guillelmus de Ockham, Exp. phys. III, 10, §2
↑ Interpretis ignoti, Discursus et Demonstrationes Mathematicae circa duas novas scientias, "Dialogus I", p. 29
↑ Galilaeus Galilaei, Discorsi su due nuove scienze, 1638.
↑ Ibid., "Dialogus I", p. 30
↑ Ioannes Lockius, Ch. II, xvii, §8.
↑ Gulielmus Blake, The Marriage of Heaven and Hell, plate 14.
↑ Conversus ab usore Ioscio, non ab doctioribus. Querellas in eum fer, si sententiae melius convertantur.
↑ Textus totus de argumento diagonali (Germanice, lingua prima; et Anglice, conversus)
↑ Ludovicus Wittgenstein, Philosophical Remarks § 141, cf Philosophical Grammar, p. 465.
↑ Omnes translationes ab usoribus Ioscio et Iustino, non ab doctioribus. Querellas in eos fer, si sententiae melius convertantur.
↑ Evangelista Torricellius, De solido Hyperobolico, ex suis Operibus Geometricis, pagina 116a. Imago 362a Operum Geometricorum
↑ Duglassius Adams, Taberna ad Fines Universi, de "The Ultimate Hitchhiker's Guide: Six Stories by Douglas Adams." Wings Books, New York, NY, 1996. De capite 19o, pagina 243a.
↑ Duglassius Adams, Peregrinatoris Enchiridion Galaxiae, de "The Ultimate Hitchhiker's Guide: Six Stories by Douglas Adams." Wings Books, New York, NY, 1996. De capite 24o, pagina 107a.
Bibliographia |
- Amir D. Aczel (2001). The Mystery of the Aleph: Mathematics, the Kabbalah, and the Search for Infinity. Simon & Schuster Adult Publishing Group
- Agrawal, D. P. 2000. Ancient Jaina Mathematics: an Introduction. Infinity Foundation.
- L. C. Jain (1982). Exact Sciences from Jaina Sources
- Jain, L. C. 1973. Set theory in the Jaina school of mathematics. Indian Journal of History of Science.
- George G. Joseph (2000). The Crest of the Peacock: Non-European Roots of Mathematics (2nd edition ed.). Penguin Books
- O'Connor, John J., et Edmund F. Robertson. 1998. Georg Ferdinand Ludwig Philipp Cantor. MacTutor History of Mathematics archive.
- O'Connor, John J., et Edmund F. Robertson. 2000. Jaina mathematics. MacTutor History of Mathematics archive.
- Pearce, Ian 2002. Jainism. MacTutor History of Mathematics archive.
- Rudy Rucker (1995). Infinity and the Mind: The Science and Philosophy of the Infinite. Princeton University Press
- Singh, N. 1988. 'Jaina Theory of Actual Infinity and Transfinite Numbers', Journal of Asiatic Society, Vol. 30.
- David Foster Wallace (2004). Everything and More: A Compact History of Infinity. W. W. Norton & Company, Inc.
Nexus externi |
- Numerare ad infinitatem
Doctulum in mathematica infinitorum, a Peter Suber, de St. John's Review, XLIV, 2 (1998) 1-59.
Infinity, Principia Cybernetica- Caupona Infinity
- Sententiae finitatis infinitatisque in philosophia
- Fons medievalium recentumque scriptionum de Infinitate