Lihat sumber Infinitesimal

{{short description|Infinitesimal dalam kalkulus; benda yang sangat kecil sehingga tidak ada cara untuk mengukurnya}}{{Periksa terjemahan}}[[Berkas:Números hiperreales.png|450px|thumb|Infinitesimal (ε) dan tak terbatas (ω) di garis bilangan surealis (ε = 1/ω)]]

Dalam [[matematika]], '''Infinitesimal''' atau '''Bilangan Infinitesimal''' adalah kuantitas yang mendekati angka nol daripada standar pada nilai [[bilangan riil]], tetapi angka bukan nol. Mereka tidak terdapat sistem bilangan riil dengan nilai standar, tetapi ada banyak sistem bilangan lain, seperti [[bilangan surealis]] dan [[bilangan hiperriil]], yang dapat dianggap sebagai bilangan riil yang ditambah dengan sistem jumlah infinitesimal, serta kuantitas tak hingga, yang merupakan kebalikan dari tak terhingga.

Rumus yang terkenal dalam pengembangan [[kalkulus]], di mana turunan dari awal dianggap sebagai rasio dua kuantitas pada Infinitesimal. Definisi ini, seperti kebanyakan matematika pada masa ke masa, tidak diformalkan dengan cara yang sangat ketat. Akibatnya, perlakuan formal selanjutnya dari kalkulus cenderung menjatuhkan sudut pandang yang sangat kecil yang mendukung nilai [[Limit]], yang dapat dilakukan menggunakan riil standar.

Infinitesimal mendapatkan kembali popularitas pada abad ke-20 dengan [[Abraham Robinson]] pengembangan [[analisis nonstandar]] dan [[bilangan hiperriil]], yang menunjukkan bahwa pengobatan formal dari kalkulus Infinitesimal, setelah kontroversi panjang tentang topik ini selama berabad-abad matematika. Berikut ini adalah pengembangan dari [[angka nyata]], formalisasi yang terkait erat dari bilangan tak hingga dan tak terhingga yang mencakup [[bilangan hiperreal]] dan [[bilangan ordinal]], dan yang merupakan [[bidang terurut]] terbesar.

Wawasan dengan mengeksploitasi infinitesimal adalah bahwa entitas masih dapat mempertahankan properti spesifik tertentu, seperti [[sudut]] atau [[kemiringan]], meskipun entitas ini sangat kecil.<ref>{{cite web|url=https://plato.stanford.edu/entries/continuity/#1|title=Kontinuitas dan Infinitesimals|last=Bell|first=John L.|date=6 September 2013|website=[[Stanford Encyclopedia of Philosophy]]}}</ref> Kata dari ''infinitesimal'' berasal dari mata uang [[Latin Modern|modern latin]] abad ke-17 ''infinitesimus'', yang awalnya merujuk pada item "[[tak terhingga]] [[Bilangan urut (linguistik)|ke]]" secara berurutan.
Infinitesimal adalah bahan dasar dalam prosedur [[kalkulus]] Infinitesimal seperti yang dikembangkan oleh [[Gottfried Leibniz]], termasuk [[hukum kontinuitas]] dan [[hukum homogenitas transendental]]. Dalam bahasa umum, objek Infinitesimal adalah objek yang lebih kecil daripada ukuran yang dapat diukur, tetapi tidak berukuran nol atau, sangat kecil sehingga tidak dapat dibedakan dari nol dengan cara apa pun yang tersedia. Karena, bila digunakan sebagai kata sifat dalam penggunaan matematika, "infinitesimal" berarti "sangat kecil", atau lebih kecil dari bilangan riil standar mana pun. Untuk memberi arti, infinitesimal sering dibandingkan dengan infinitesimal lain dengan ukuran yang sama (seperti dalam [[turunan]]). Tak terhingga banyak infinitesimals dijumlahkan untuk menghasilkan [[integral]].

Konsep infinitesimals awalnya diperkenalkan sekitar tahun 1670 oleh [[Nicolaus Mercator]] atau [[Gottfried Wilhelm Leibniz]].<ref>{{citation
 | last1   = Katz   | first1 = Mikhail G. | author1-link=Mikhail Katz
 | last2   = Sherry | first2 = David
 | title   = Infinitesimal Leibniz: Fiksi Mereka, Penerapan Modern Mereka, dan Musuh Mereka dari Berkeley hingga Russell dan Selanjutnya
 | journal = [[Erkenntnis]]
 | volume  = 78 | issue = 3 | pages = 571–625 | year = 2012
 | arxiv   = 1205.0174 | doi = 10.1007/s10670-012-9370-y
}}</ref> [[Archimedes]] menggunakan apa yang akhirnya dikenal sebagai [[metode tak terpisahkan]] dalam karyanya ''[[Metode Teorema Mekanik]]'' untuk menemukan daerah wilayah dan volume padatan.<ref>{{Cite journal|last=Reviel|first=Netz|last2=Saito|first2=Ken|last3=Tchernetska|first3=Natalie|date=2001|title=Bacaan Baru Proposisi Metode 14: Bukti Awal dari Archimedes Palimpsest (Bagian 1)|journal=Sciamvs|volume=2|pages=9–29}}</ref> Dalam risalah resmi yang diterbitkan, Archimedes memecahkan masalah yang sama menggunakan [[metode penghabis]]. Abad ke-15 melihat karya [[Nicholas dari Cusa]], yang dikembangkan lebih lanjut pada abad ke 17 oleh [[Johannes Kepler]], khususnya dalam penghitungan luas lingkaran dengan merepresentasikan yang terakhir sebagai hasil tak terhingga. [[Simon Stevin]] bekerja pada representasi desimal dari semua bilangan pada abad ke 16 menyiapkan dasar untuk kontinum nyata. [[Bonaventura Cavalieri]] metode indivisibles menyebabkan perluasan hasil penulis klasik. Metode indivisibles yang terkait dengan figur geometris yang terdiri dari entitas [[codimension]] 1. [[John Wallis]] infinitesimal berbeda dari tak terpisahkan dalam hal ia akan menguraikan sosok geometris menjadi blok bangunan tipis tak terhingga dari dimensi yang sama seperti gambar, menyiapkan dasar untuk metode umum pada kalkulus integral. Dia memanfaatkan sangat kecil yang dilambangkan [[1/∞]] dalam perhitungan luas.

Penggunaan infinitesimal oleh Leibniz mengandalkan prinsip heuristik, seperti hukum kontinuitas.: yang berhasil untuk bilangan hingga berhasil juga untuk bilangan yang tak hingga dan sebaliknya; dan hukum homogenitas transendental yang menentukan prosedur untuk mengganti ekspresi yang melibatkan jumlah yang tidak dapat ditetapkan, dengan ekspresi yang hanya melibatkan yang dapat ditetapkan. Abad ke 18 melihat penggunaan rutin infinitesimal oleh ahli matematika seperti [[Leonhard Euler]] dan [[Joseph-Louis Lagrange]]. [[Augustin-Louis Cauchy]] dieksploitasi infinitesimals baik dalam mendefinisikan [[fungsi kontinu|kontinuitas]] dalam dirinya ''[[Cours d'Analyse]]'', dan dalam mendefinisikan bentuk awal dari [[Fungsi delta Dirac]]. Saat Cantor dan Dedekind mengembangkan versi yang lebih abstrak dari kontinum Stevin, [[Paul du Bois-Reymond]] menulis serangkaian makalah tentang infinitesimal terus diperkaya berdasarkan tingkat pertumbuhan fungsi. Karya Du Bois-Reymond menginspirasi [[Émile Borel]] dan [[Thoralf Skolem]]. Borel explicitly linked du Bois-Pekerjaan Reymond untuk pekerjaan Cauchy tentang tingkat pertumbuhan infinitesimal. Skolem mengembangkan model [[Aritmetika|aritmatika]] non-standar pertama pada tahun 1934. Sebuah implementasi matematis dari hukum kontinuitas dan infinitesimal dicapai oleh [[Abraham Robinson]] pada tahun 1961, yang mengembangkan [[analisis tidak standar]] berdasarkan karya sebelumnya oleh [[Edwin Hewitt]] pada tahun 1948 dan [[Jerzy Łoś]] pada tahun 1955. [[Bilangan hiperriil|hiperriil]] mengimplementasikan sebuah infinitesimal kontinu yang diperkaya dan [[prinsip transfer]] mengimplementasikan hukum kontinuitas Leibniz. [[Fungsi bagian standar]] mengimplementasikan [[kecukupan]] Fermat.

[[Vladimir Arnold]] menulis pada tahun 1990:
{{quote|Saat ini, ketika mengajarkan analisis, tidak terlalu populer untuk membicarakan Infinitesimal. Akibatnya siswa saat ini tidak sepenuhnya menguasai bahasa ini. Namun demikian, itu masih perlu untuk dikuasai.<ref>Arnolʹd, V. I. ''Huygens dan Barrow, Newton dan Hooke. Pelopor dalam analisis matematika dan teori bencana dari evolvents ke quasicrystals''. Diterjemahkan dari bahasa Rusia oleh Eric J. F. Primrose. Birkhäuser Verlag, Basel, 1990. p.&nbsp;27</ref>|Vladimir Arnold}}

== Sejarah infinitesimal ==
Gagasan tentang jumlah kecil yang tak terhingga telah dibahas oleh [[Sekolah Eleatic]]. [[Matematika Yunani|Yunani]] matematikawan [[Archimedes]] (sekitar 287 SM–212 SM), dalam ''[[Metode Teorema Mekanik]]'', adalah orang pertama yang mengusulkan definisi infinitesimal yang secara logis ketat.<ref>Archimedes, ''Metode Teorema Mekanik''; Lihat [[Archimedes Palimpsest]]</ref> [[Properti Archimedean]] mendefinisikan bilangan ''x'' sebagai tak terhingga jika memenuhi syarat |''x''|>1, |''x''|>1+1, |''x''|>1+1+1, ..., dan infinitesimal bila ''x''≠0 dan satu set kondisi serupa berlaku untuk ''x'' dan kebalikan dari [[Bilangan asli|bilangan bulat positif]]. Sistem bilangan dikatakan Archimedean jika tidak mengandung anggota yang tak terhingga atau sangat kecil.

Ahli matematika Inggris [[John Wallis]] memperkenalkan ekspresi tersebut 1/∞ dalam bukunya yang berjudul ''Treatise on the Conic Sections'' pada tahun 1655. Simbol, yang menunjukkan kebalikan, atau kebalikan, dari [[∞]], adalah representasi simbolik dari konsep matematika Infinitesimal. Dalam bukunya ''Treatise on the Conic Sections'', Wallis juga membahas tentang konsep hubungan antara representasi simbolik infinitesimal 1/∞ yang dia perkenalkan dan konsep ketidakterbatasan yang dia perkenalkan simbol dari ∞. Konsep ini menyarankan [[eksperimen pikiran]] untuk menambahkan [[jajaran genjang]] dengan lebar tak terhingga untuk membentuk daerah berhingga. Konsep ini adalah pendahulu metode integrasi modern yang digunakan dalam [[kalkulus integral]]. Asal-usul konseptual dari konsep infinitesimal 1/∞ dapat ditelusuri sejauh filsuf Yunani [[Zeno dari Elea]], yang [[paradoks dikotomi Zeno]] adalah konsep matematika pertama untuk mempertimbangkan hubungan antara interval berhingga dan interval mendekati interval berukuran sangat kecil.

Infinitesimal menjadi subjek kontroversi politik dan agama di Eropa abad ke 17, termasuk larangan infinitesimal yang dikeluarkan oleh para ulama di Roma pada tahun 1632.<ref>{{cite book|title=Infinitesimal: Bagaimana Teori Matematika Berbahaya Membentuk Dunia Modern|last=Alexander|first=Amir|publisher=Scientific American / Farrar, Straus and Giroux|year=2014|isbn=978-0-374-17681-5|author-link=Amir Alexander}}</ref>

Sebelum penemuan matematikawan kalkulus dapat menghitung garis singgung menggunakan metode [[Pierre de Fermat]] dari [[kecukupan]] dan [[René Descartes]] '[[metode normal]]. Ada perdebatan di antara para ahli tentang apakah metode Infinitesimal atau aljabar. Ketika [[Isaac Newton|Newton]] dan [[Gottfried Leibniz|Leibniz]] menemukan [[Kalkulus Infinitesimal|kalkulus]], mereka menggunakan infinitesimal, Newton ''[[fluks (matematika)|fluks]]'' dan Leibniz ''[[Diferensial (infinitesimal)|diferensial]]''. Penggunaan infinitesimal diserang sebagai tidak benar oleh [[George Berkeley|Bishop Berkeley]] dalam karyanya ''[[The Analyst]]''.<ref>{{Cite book|url=https://archive.org/details/theanalystoradis00berkuoft/page/n4|title=Analis: Diskursus yang Ditujukan kepada Ahli Matematika.|last=Berkeley|first=George|year=1734|location=London|author-link=George Berkeley}}</ref> Matematikawan, ilmuwan, dan insinyur terus menggunakan infinitesimal untuk menghasilkan hasil yang benar. Pada paruh kedua abad kesembilan belas, kalkulus dirumuskan kembali oleh [[Augustin-Louis Cauchy]], [[Bernard Bolzano]], [[Karl Weierstrass]], [[Georg Cantor|Cantor]], [[Richard Dedekind|Dedekind]], dan lainnya yang menggunakan [[(ε, δ)-definisi limit]] dan [[teori himpunan]].
Sementara pengikut Cantor, Dedekind, dan Weierstrass berusaha menyingkirkan analisis infinitesimals, dan sekutu filosofis mereka seperti [[Bertrand Russell]] dan [[Rudolf Carnap]] ''pseudoconcepts'', [[Hermann Cohen]] dan [[sekolah Marburg]] [[neo Kantianisme]] berusaha mengembangkan logika kerja infinitesimals.<ref>{{Cite journal|last=Mormann|first=Thomas|author-link=Thomas Mormann|last2=Katz|first2=Mikhail|author-link2=Mikhail Katz|date=Fall 2013|title=Infinitesimal sebagai Masalah Filsafat Ilmu Neo-Kantian|journal=[[HOPOS|HOPOS: The Journal of the International Society for the History of Philosophy of Science]]|volume=3|issue=2|pages=236–280|arxiv=1304.1027|doi=10.1086/671348|jstor=10.1086/671348}}</ref> Studi matematis dari sistem yang mengandung infinitesimals dilanjutkan melalui karya [[Tullio Levi-Civita|Levi-Civita]], [[Giuseppe Veronese]], [[Paul du Bois-Reymond]], dan lainnya, sepanjang akhir abad kesembilan belas dan kedua puluh, seperti yang didokumentasikan oleh Philip Ehrlich (2006). Pada abad ke-20, ditemukan bahwa infinitesimals dapat berfungsi sebagai dasar untuk kalkulus dan analisis (lihat [[bilangan hiperriil]]).

== Sistem angka yang mencakup infinitesimal ==

=== Deret formal ===

==== Deret Laurent ====
Contoh dari kategori 1 di atas adalah bidang [[deret Laurent]] dengan sejumlah suku pangkat negatif terbatas. Misalnya, deret Laurent yang hanya terdiri dari konstanta 1 diidentifikasikan 1, dan deret yang hanya memiliki suku linear ''x'' dianggap sebagai infinitesimal paling sederhana, dari mana infinitesimal lainnya dibangun. Pengurutan kamus digunakan, yang setara dengan mempertimbangkan pangkat yang lebih tinggi ''x'' dapat diabaikan dibandingkan dengan kekuatan yang lebih rendah. [[David O. Tall]]<ref>{{cite web |url=http://www.jonhoyle.com/MAAseaway/Infinitesimals.html |title=Infinitesimals dalam Matematika Modern |publisher=Jonhoyle.com |accessdate=2011-03-11 |url-status=dead |archiveurl=https://web.archive.org/web/20110713115815/http://www.jonhoyle.com/MAAseaway/Infinitesimals.html |archivedate=2011-07-13 }}</ref> mengacu pada sistem ini sebagai super-real, jangan disamakan dengan sistem [[angka superreal]] dari Dales dan Woodin. Karena deret Taylor dievaluasi dengan deret Laurent sebagai argumennya tetap deret Laurent, sistem dapat digunakan untuk melakukan kalkulus pada fungsi transendental jika bersifat analitik. Infinitesimal memiliki properti orde pertama yang berbeda dari real karena, misalnya, the basic infinitesimal&nbsp;''x'' tidak memiliki akar kuadrat.

==== Lapangan Levi-Civita ====
[[Lapangan Levi-Civita]] mirip dengan deret Laurent, tetapi secara aljabar tertutup. Misalnya, bilangan Infinitesimal x memiliki akar kuadrat. Bidang ini cukup kaya untuk memungkinkan dilakukannya banyak analisis, namun elemennya masih dapat direpresentasikan di komputer dalam arti yang sama seperti bilangan riil dapat direpresentasikan dalam floating point.<ref>{{Cite web|url=http://www.uwec.edu/surepam/media/RS-Overview.pdf|title=Analisis Bidang Levi-Civita, Tinjauan Singkat|last=Shamseddine|first=Khodr|archive-url=https://web.archive.org/web/20110608043202/http://www.uwec.edu/surepam/media/RS-Overview.pdf|archive-date=2011-06-08|url-status=dead}}</ref>

==== TransDeret ====
Bidang [[TransDeret]] lebih besar dari bidang Levi-Civita.<ref>{{Cite journal|last=Edgar|first=Gerald A.|date=2010|title=Transseries for Beginners|url=https://people.math.osu.edu/edgar.2/preprints/trans_begin/|journal=[[Real Analysis Exchange]]|volume=35|issue=2|pages=253–310|doi=10.14321/realanalexch.35.2.0253|arxiv=0801.4877v5}}</ref> Contoh transderet adalah:

:<math>e^\sqrt{\ln\ln x}+\ln\ln x+\sum_{j=0}^\infty e^x x^{-j},</math>

dimana untuk keperluan pemesanan ''x'' dianggap tak terbatas.

=== Angka-angka nyata ===
[[Angka nyata]] Conway termasuk dalam kategori 2. Mereka adalah sistem yang dirancang untuk menjadi sekaya mungkin dalam berbagai ukuran angka, tetapi tidak selalu untuk kenyamanan dalam melakukan analisis. Fungsi transendental tertentu dapat dibawa ke surreals, termasuk logaritma dan eksponensial, tetapi kebanyakan, contohnya, fungsi sinus{{fact|date=September 2020}}<!--ini sepertinya meragukan, lihat [https://mathoverflow.net/questions/91337/uniformizing-the-surcomplex-unit-circle] Bagaimanapun, untuk memperjelas pernyataan, seseorang harus menjelaskan dengan tepat apa yang diharapkan dari ekstensi tersebut -->. Keberadaan bilangan surealis tertentu, bahkan yang memiliki padanan langsung di real, tidak diketahui secara apriori, dan harus dibuktikan.{{clarify|date=September 2020}}

=== Hiperriil ===
{{Main|Bilangan hiperriil}}
Teknik yang paling luas untuk menangani infinitesimal adalah hyperreals, yang dikembangkan oleh [[Abraham Robinson]] pada 1960-an. Mereka termasuk dalam kategori 3 di atas, yang telah dirancang sedemikian rupa sehingga semua analisis klasik dapat dibawa dari riilnya. Sifat kemampuan untuk meneruskan semua hubungan secara alami ini dikenal sebagai [[prinsip transfer]], dibuktikan oleh [[Jerzy Łoś]] pada tahun 1955. Contohnya, fungsi transendental sin memiliki pasangan alami * sin yang mengambil masukan hiperreal dan memberikan keluaran hiperreal, dan demikian pula himpunan bilangan asli <math>\mathbb{N}</math> memiliki pasangan alami <math>^*\mathbb{N}</math>, yang berisi bilangan bulat terbatas dan tak terbatas. Sebuah proposisi seperti <math>\forall n \in \mathbb{N}, \sin n\pi=0</math> dibawa ke hiperriil sebagai <math>\forall n \in {}^*\mathbb{N}, {}^*\!\!\sin n\pi=0</math> .

=== Superriil ===
{{Main|Angka superriil}}
Sistem [[bilangan superriil]] dari Dales dan Woodin adalah generalisasi dari hyperriil. Ini berbeda dari sistem super-nyata yang ditentukan oleh [[David Tall]].

=== Nomor ganda ===
{{Main|Nomor ganda}}
Dalam [[aljabar linear]], [[bilangan ganda]] memperpanjang real dengan menggabungkan satu infinitesimal, elemen baru ε dengan properti ε<sup>2</sup> = 0 (yaitu, ε adalah [[nilpotent]]). Setiap bilangan ganda memiliki bentuk ''z'' = ''a'' + ''b''ε dengan ''a'' dan ''b'' menjadi bilangan real yang ditentukan secara unik.

Salah satu penerapan angka ganda adalah [[diferensiasi otomatis]]. Aplikasi ini dapat digeneralisasikan menjadi polinomial dalam n variabel, menggunakan [[Aljabar eksterior]] dari [[ruang vektor]] berdimensi-n.

=== Analisis halus Infinitesimal ===
{{Main|Analisis halus Infinitesimal}}
[[Geometri diferensial sintetis]] atau [[analisis halus infinitesimal]] berakar pada [[teori kategori]]. Pendekatan ini berangkat dari logika klasik yang digunakan dalam matematika konvensional dengan menolak penerapan umum dari [[hukum tengah yang dikecualikan]], yaitu, ''bukan'' (''a'' ≠ ''b'') tidak harus berarti ''a'' = ''b''. A ''nilsquare'' atau ''[[nilpotent]]'' infinitesimal kemudian dapat ditentukan. Ini adalah angka ''x'' dimana ''x''<sup>2</sup> = 0 itu benar, tapi ''x'' = 0 tidak perlu benar pada saat bersamaan. Karena logika latar belakang adalah [[logika intuitionistic]], tidak segera jelas bagaimana mengklasifikasikan sistem ini berkenaan dengan kelas 1, 2, dan 3. Analog intuitif dari kelas-kelas ini harus dikembangkan terlebih dahulu.

== Fungsi delta Infinitesimal ==
[[Cauchy]] menggunakan infinitesimal <math>\alpha</math> untuk menuliskan impuls unit, fungsi delta tipe Dirac yang tinggi tak terhingga dan sempit <math>\delta_\alpha</math> satisfying <math>\int F(x)\delta_\alpha(x) = F(0)</math> dalam sejumlah artikel pada tahun 1827, lihat Laugwitz (1989). Cauchy mendefinisikan sangat kecil pada tahun 1821 (Cours d'Analyse) dalam istilah urutan yang cenderung nol. Yakni, urutan nol seperti itu menjadi sangat kecil dalam terminologi Cauchy dan [[Lazare Carnot]].

Pendekatan teori-himpunan modern memungkinkan seseorang untuk mendefinisikan infinitesimal melalui konstruksi [[ultrapower]], di mana urutan nol menjadi infinitesimal dalam pengertian modulo kelas ekivalen, sebuah relasi yang didefinisikan dalam istilah [[ultrafilter]] yang sesuai. Artikel oleh Yamashita (2007) berisi bibliografi tentang [[fungsi delta Dirac]] modern dalam konteks kontinum yang diperkaya sangat kecil yang disediakan oleh [[bilangan hiperriil|hyperriil]].

== Fungsi cenderung nol ==
Dalam pengertian yang terkait tetapi agak berbeda, yang berkembang dari definisi asli "infinitesimal" sebagai kuantitas yang sangat kecil, istilah tersebut juga telah digunakan untuk merujuk pada fungsi yang cenderung nol. Lebih tepatnya, ''Kalkulus Tingkat Lanjut'' Loomis dan Sternberg mendefinisikan kelas fungsi infinitesimal, <math>\mathfrak{I}</math>, sebagai bagian dari fungsi <math>f:V\to W</math> antara ruang vektor bernorma dengan <blockquote><math>\mathfrak{I}(V,W) = \{f:V\to W\ |\ f(0)=0,
(\forall \epsilon>0) (\exists \delta>0)
\ \backepsilon\ ||\xi||<\delta\implies
||f(\xi)||<\epsilon\}</math>, </blockquote>serta dua kelas terkait <math>\mathfrak{O},\mathfrak{o}</math> (lihat [[Notasi Big O|Notasi Big-O]]) by <blockquote><math>\mathfrak{O}(V,W) = \{f:V\to W\ |\ f(0)=0,\ (\exist r>0,c>0)\ \backepsilon\ 
||\xi||< r \implies ||f(\xi)||\leq c||
\xi||\}</math>,<math> = \{f:V\to W\ |\ f(0)=0,\ \lim_{||\xi||\to 0} ||f(\xi)|| / ||\xi|| = 0\}</math>.<ref>{{Cite book|url=https://archive.org/details/LoomisL.H.SternbergS.AdvancedCalculusRevisedEditionJonesAndBartlett|title=Kalkulus Lanjut|last=Loomis|first=Lynn Harold|last2=Sternberg|first2=Shlomo|publisher=World Scientific|year=2014|isbn=978-981-4583-92-3|location=Hackensack, N.J.|pages=138–142}}</ref></blockquote>Inklusi yang ditetapkan <math>\mathfrak{o}(V,W)\subsetneq\mathfrak{O}(V,W)\subsetneq\mathfrak{I}(V,W)</math>umumnya tahan. Bahwa inklusi tepat ditunjukkan oleh fungsi nilai nyata dari variabel nyata <math>f:x\mapsto |x|^{1/2}</math>, <math>g:x\mapsto x </math>, dan <math>h:x\mapsto x^2 </math>:  <blockquote><math>f,g,h\in\mathfrak{I}(\mathbb{R},\mathbb{R}),\  g,h\in\mathfrak{O}(\mathbb{R},\mathbb{R}),\ 
h\in\mathfrak{o}(\mathbb{R},\mathbb{R})</math> tapi <math>f,g\notin\mathfrak{o}(\mathbb{R},\mathbb{R})</math> dan <math>f\notin\mathfrak{O}(\mathbb{R},\mathbb{R})</math>.</blockquote>Sebagai aplikasi dari definisi tersebut, sebuah pemetaan <math>F:V\to W</math> antara ruang vektor bernorma didefinisikan untuk dibedakan di <math>\alpha\in V</math> bila ada <math>T\in\mathrm{Hom}(V,W)</math> [yaitu, peta linier berbatas <math>V\to W</math>] seperti yang <blockquote><math>[F(\alpha+\xi)-F(\alpha)]-T(\xi)\in \mathfrak{o}(V,W)</math></blockquote>di lingkungan <math>\alpha</math>.<!-- If such a map exists, it is unique; this map is called the ''differential'' and is denoted by <math>dF_\alpha</math>,<ref>This notation is not to be confused with the many other distinct usages of ''d'' in calculus that are all loosely related to the classical notion of the differential as "taking an infinitesimally small piece of something": ''(1)'' in the expression<math>\int f(x)\, d\alpha(x)</math>, <math>d\alpha(x)</math> indicates Riemann-Stieltjes integration with respect to the integrator function <math>\alpha</math>; ''(2)'' in the expression <math>\int f\, d\mu</math>, <math>d\mu</math> symbolizes Lebesgue integration with respect to a measure <math>\mu</math>; ''(3)'' in the expression <math>\int_{\mathbf{R}^n} f\; dV</math>, ''dV'' indicates integration with respect to volume; ''(4)'' in the expression <math>dx^{i_1}\wedge\cdots\wedge dx^{i_n}</math>, the letter ''d'' represents the exterior derivative operator, and so on....</ref> coinciding with the traditional notation for the classical (though logically flawed) notion of a differential as an infinitely small "piece" of ''F''. This definition represents a generalization of the usual definition of differentiability for vector-valued functions of (open subsets of) Euclidean spaces.-->

== Array variabel acak ==
Bila <math>(\Omega,\mathcal{F},\mathbb{P})</math> menjadi [[ruang probabilitas]] dan biarkan <math>n\in\mathbb{N}</math>. Sebuah array <math>\{X_{n,k}:\Omega\to\mathbb{R}\mid 1\le k\le k_{n}\}</math> dari [[variabel acak]] s disebut sangat kecil jika untuk setiap <math>\epsilon>0</math>, kita punya:<ref>{{Cite journal|last=Barczyk|first=Adam|last2=Janssen|first2=Arnold|last3=Pauly|first3=Markus|year=2011|title=Asimtotik L-statistik untuk non-i.i.d. variabel dengan ekor berat|url=https://www.math.uni.wroc.pl/~pms/files/31.2/Article/31.2.7.pdf|url-status=live|journal=Probability and Mathematical Statistics|volume=31|issue=2|pages=285–299|archive-url=https://web.archive.org/web/20190821091242/https://www.math.uni.wroc.pl/~pms/files/31.2/Article/31.2.7.pdf|archive-date=2019-08-21}}</ref>
:<math>\max_{1\le k\le k_{n}}\mathbb{P}\{\omega\in\Omega\mid \vert X_{n,k}(\omega)\vert\geq\epsilon\}\to 0\text{ as } n\to\infty</math>
Gagasan tentang larik sangat kecil sangat penting dalam beberapa teorema batas pusat dan mudah dilihat oleh monotonisitas dari ekspektasi operator bahwa larik apa pun memenuhi [[kondisi Lindeberg]] sangat kecil, sehingga memainkan peran penting dalam [[Teorema batas pusat#Lindeberg CLT|Teorema Batas Pusat Lindeberg]] (sebuah generalisasi dari [[teorema batas pusat]]).

== Lihat pula ==
{{Portal|Matematika}}
{{div col|colwidth=20em}}
* [[Adequaliti]]
* [[Fungsi Cantor]]
* [[Diferensial (matematika)]]
* [[Nomor ganda]]
* [[Bilangan hiperriil]]
* [[Bentuk tak tentu]]
* [[Tak terhingga]]
* [[Kalkulus Infinitesimal]]
* [[Transformasi Infinitesimal]]
* [[Instan]]
* [[Lapangan Levi-Civita]]
* [[Kalkulus tidak standar]]
* [[Analisis tidak standar]]
* [[Angka yang nyata]]
* [[Teori model]]
{{div col end}}

== Catatan ==
{{Reflist|30em}}

== Referensi ==
{{refbegin}}
* B. Crowell, "Kalkulus" (2003)
*Ehrlich, P. (2006) Kebangkitan matematika non-Archimedean dan akar dari kesalahpahaman. I. Munculnya sistem magnitudo non-Archimedean. Arch. Hist. Exact Sci. 60, no. 1, 1–121.
* [[Antoni Malet|Malet, Antoni]]. "Barrow, Wallis, dan pembuatan ulang abad ketujuh belas tak terpisahkan". ''Centaurus''  39 (1997), no. 1, 67–92.
* J. Keisler, "Elementary Calculus" (2000) University of Wisconsin
* K. Stroyan "Fondasi Kalkulus Infinitesimal" (1993)
*[[Keith Stroyan|Stroyan, K. D.]]; [[Wilhelmus Luxemburg|Luxemburg, W. A. J.]] Pengantar teori infinitesimals. Matematika Murni dan Terapan, No. 72. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1976.
* [[Robert Goldblatt]] (1998) "Ceramah di hyperreals "Springer.
* [[Nigel Cutland|Cutland]] et al. "Metode dan Aplikasi Tidak Standar dalam Matematika "(2007) Catatan Kuliah di Logika 25, Asosiasi untuk Logika Simbolik.
*  "Kekuatan Analisis Non-Standar" (2007) Springer.
*{{Cite journal|doi=10.1007/BF00329867|authorlink=Detlef Laugwitz|last=Laugwitz|first=D.|year=1989|title=Nilai pasti dari jumlah tak terbatas: aspek fondasi analisis Infinitesimal sekitar tahun 1820|journal=[[Archive for History of Exact Sciences]]|volume=39|issue=3|pages=195–245}}
* Yamashita, H.: Comment on: "Analisis Pointwise dari scalar Fields: pendekatan tidak standar" [J. Math. Phys. 47 (2006), no. 9, 092301; 16 pp.]. J. Math. Phys. 48 (2007), no. 8, 084101, 1 page.
{{refend}}
{{Navboxes
|title = Relates to Infinitesimal
|titlestyle = <!-- optional -->
|state = collapsed
|list1 = 
{{Infinitesimal}}
{{Tak terhingga}}
{{Sistem angka}}
{{Angka besar}}
{{Topik kalkulus}}
}}
{{Authority control}}

[[Kategori:Kalkulus]]
[[Kategori:Sejarah kalkulus]]
[[Kategori:Tak Terhingga]]
[[Kategori:Analisis tidak standar]]
[[Kategori:Sejarah matematika]]
[[Kategori:Logika matematika]]
[[Kategori:Matematika dari infinitesimal]]