Induzione transfinita

Niente fonti!
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

L'induzione transfinita è una tecnica di dimostrazione matematica analoga all'induzione matematica applicata ad insiemi ben ordinati, ad esempio all'insieme dei numeri ordinali o dei numeri cardinali.

Se si vuole dimostrare che una proprietà P vale per tutti gli ordinali, si può applicare l'induzione transfinita coi seguenti passi:

  • Dimostrare che P(0) vale
  • Dimostrare che, per ogni ordinale b, se P(a) vale per tutti gli ordinali a<b allora vale anche P(b)

L'ultimo passo viene spesso diviso in due casi: il caso di ordinale successore, dove si può applicare il ragionamento induttivo classico (mostrare che P(a) implica P(a+1)) e il caso di ordinale limite, che non ha predecessore e quindi non può essere trattato con quel ragionamento.

Tipicamente il caso di ordinale limite viene affrontato notando che un ordinale limite b è, per definizione, l'estremo superiore di tutti gli ordinali a<b e usando poi questo fatto per dimostrare che, supponendo che P(a) valga per tutti gli a<b, vale anche P(b).

Voci correlate

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

Read other articles:

Accenture

Accenture plcSebelumnyaAndersen Consulting(1989–2000)JenisPublikKode emitenNYSE: ACN (Kelas A)Komponen S&P 100Komponen S&P 500ISINIE00B4BNMY34IndustriJasa profesionalDidirikan1989; 35 tahun lalu (1989)KantorpusatDublin, IrlandiaWilayah operasiSeluruh duniaTokohkunciDavid Rowland(Chairman Eksekutif)Julie Sweet(CEO)JasaStrategi & Konsultansi, Interaktif, Teknologi, dan Operasi[1]Pendapatan US$44,33 milyar (2020)[2]Laba operasi US$6,51 milyar (2020)[2]L...

 

Apple Pippin

Apple PippinPengembangApple ComputerPembuatBandaiJenisPlatform pemutar multimedia untuk konsol permainan video, peralatan Internet dan pengembangan kios interaktifGenerasiGenerasi kelimaTanggal rilis1996 (1996)Ketersediaan eceran1996 (1996)–1997 (1997)Harga perkenalanAS$599Dihentikan1997 (1997)Terjual42.000PendahuluPlaydiaPenerusApple ArcadeArtikel terkaitApple Interactive Television Box Apple Pippin adalah konsol permainan yang dirancang oleh Apple dan diproduksi oleh B...

 

بورت لافاكا

بورت لافاكا     الإحداثيات 28°26′56″N 96°37′47″W / 28.448888888889°N 96.629722222222°W / 28.448888888889; -96.629722222222  [1] تقسيم إداري  البلد الولايات المتحدة[2][3]  التقسيم الأعلى مقاطعة كالهاون  عاصمة لـ مقاطعة كالهاون  خصائص جغرافية  المساحة 36.535087 كيلومتر مرب...

Bulbophyllum beccarii

Bulbophyllum beccarii Klasifikasi ilmiah Kerajaan: Plantae (tanpa takson): Angiospermae (tanpa takson): Monocots Ordo: Asparagales Famili: Orchidaceae Genus: Bulbophyllum Spesies: Bulbophyllum beccarii Nama binomial Bulbophyllum beccariiRchb.f. 1879 Bulbophyllum beccarii adalah spesies tumbuhan yang tergolong ke dalam famili Orchidaceae. Spesies ini juga merupakan bagian dari ordo Asparagales. Spesies Bulbophyllum beccarii sendiri merupakan bagian dari genus Bulbophyllum.[1] Nama ilm...

 

Halk TV

Turkish television channel Television channel Halk TVCountryTurkeyHeadquartersAnkara, TurkeyProgrammingLanguage(s)TurkishPicture format16:9 (1080i, HDTV)HistoryLaunched2005LinksWebsitewww.halktv.com.trAvailabilityStreaming mediaInternetLive Stream Halk TV is a Turkish nationwide TV channel established in 2005. It is known for its relationship with the Republican People's Party (Turkish: Cumhuriyet Halk Partisi, abbreviated CHP), although the previous links were cut off in 2011 under a new CHP...

 

Unione Sportiva Fascista Salernitana 1939-1940

Voce principale: Unione Sportiva Salernitana 1919. USF SalernitanaStagione 1939-1940Sport calcio Squadra Salernitana Allenatore Béla Károly Presidente Giuseppe Carpinelli(fino al 26/04/1940) Eugenio Saligeri-Zucchi(dal 26/04/1940) Serie C3º posto Coppa ItaliaTerzo Turno Maggiori presenzeCampionato: Bergonzini, Iacovazzo (25) Miglior marcatoreCampionato: Bergonzini (13)Totale: Bergonzini, Volpe (14) StadioCampo Littorio 1938-1939 1940-1941 Si invita a seguire il modello di voce Questa...

National Register of Historic Places listings in Spotsylvania County, Virginia

Location of Spotsylvania County in Virginia This is a list of the National Register of Historic Places listings in Spotsylvania County, Virginia. This is intended to be a complete list of the properties and districts on the National Register of Historic Places in Spotsylvania County, Virginia, United States. The locations of National Register properties and districts for which the latitude and longitude coordinates are included below, may be seen in an online map.[1] There are 17 pro...

 

55e régiment d'infanterie « comte Bülow von Dennewitz » (6e régiment d'infanterie westphalien)

Pour les articles homonymes, voir 55e régiment. 55e régiment d'infanterie « comte Bülow von Dennewitz » (6e régiment d'infanterie westphalien)HistoireFondation 5 mai 1860Dissolution 1919CadreType Régiment d'infanteriePays  Royaume de PrusseCoordonnées 51° 56′ 11″ N, 8° 52′ 05″ Emodifier - modifier le code - modifier Wikidata Monument devant l'ancien gouvernement à Minden. Entre autres, on se souvient des victimes du 55e...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

莎拉·阿什頓-西里洛

莎拉·阿什頓-西里洛2023年8月，阿什頓-西里洛穿著軍服出生 (1977-07-09) 1977年7月9日（46歲） 美國佛羅里達州国籍 美國别名莎拉·阿什頓（Sarah Ashton）莎拉·西里洛（Sarah Cirillo）金髮女郎（Blonde）职业記者、活動家、政治活動家和候選人、軍醫活跃时期2020年—雇主內華達州共和黨候選人（2020年）《Political.tips》（2020年—）《LGBTQ國度》（2022年3月—2022年10月）烏克蘭媒�...

 

Vector W8

Sports car produced from 1990 to 1993, based on the Vector W2 Motor vehicle Vector W8OverviewManufacturerVector Aeromotive CorporationAlso calledVector W8 Twin-TurboProduction1989–199322 produced[1]Model years1990–1993AssemblyWilmington, Los Angeles, California, United StatesDesignerGerald WiegertDavid KostkaBody and chassisClassSports car (S)Body style2-door coupéLayoutRear transverse mid-engine, rear-wheel drive[2]PlatformCarbon fiber and Kevlar body pane...

 

Мазраа

Местный советМазрааивр. מזרעה‎араб. المزرعة‎ 32°58′59″ с. ш. 35°05′51″ в. д.HGЯO Страна  Израиль Округ Северный История и география Площадь 0,478 км² Высота над уровнем моря 16 м Часовой пояс UTC+2:00, летом UTC+3:00 Население Население 3 929 человека (2020) al-mazraa.com Пока�...

Technical Ecstasy

1976 studio album by Black Sabbath Technical EcstasyCover design by HipgnosisStudio album by Black SabbathReleased22 October 1976[1]RecordedJune 1976StudioCriteria, Miami[2]GenreHeavy metalLength40:35LabelVertigoProducerBlack SabbathBlack Sabbath chronology Sabotage(1975) Technical Ecstasy(1976) Never Say Die!(1978) Singles from Technical Ecstasy It's AlrightReleased: November 1976[3] GypsyReleased: 1977 (Netherlands) Technical Ecstasy is the seventh studio album b...

 

سفارة البحرين لدى إسرائيل

سفارة البحرين لدى إسرائيل البحرين إسرائيل البلد إسرائيل  المكان تل أبيب  الاختصاص إسرائيل  تعديل مصدري - تعديل   سفارة البحرين لدى إسرائيل هي الممثلية الدبلوماسية العُليا لمملكة البحرين لدى دولة إسرائيل. في 30 مارس 2021، أصدر ملك البحرين حمد بن عيسى بن سلمان آل خليف...

 

Long, Long, Long

Long, Long, Long Песня Исполнитель The Beatles Альбом The Beatles Дата выпуска 22 ноября 1968 Дата записи 7 октября 1968 Жанры фолк-рок, психоделический рок Язык английский Длительность 03:03 Лейбл Apple Records Автор песни Джордж Харрисон Продюсер Джордж Мартин Трек-лист альбома The Beatles «Helter Skelter»(6) «Lon...

Thomas Arslan

Thomas Arslan (Viennale 2017) Thomas Arslan (* 16. Juli 1962 in Braunschweig) ist ein deutsch-türkischer Filmregisseur und Drehbuchautor. Er gilt als Vertreter der Berliner Schule. Inhaltsverzeichnis 1 Leben 2 Filme 3 Literatur 4 Weblinks 5 Einzelnachweise Leben Der Sohn eines türkischen Vaters und einer deutschen Mutter wuchs in Essen auf und besuchte die Grundschule in Ankara, danach kehrte er nach Essen zurück. Nach dem Abitur leistete er seinen Zivildienst und studierte kurze Zeit Germ...

 

Affordable Care Act

U.S. federal statute also known as Obamacare Obamacare redirects here. For the song, see Obamacare (song). Affordable Care ActLong titleAn Act Entitled The Patient Protection and Affordable Care ActAcronyms (colloquial)ACA, PPACANicknamesObamacare, Affordable Care Act, Health Insurance Reform, Healthcare ReformEnacted bythe 111th United States CongressEffectiveMarch 23, 2010; 14 years ago (2010-03-23)Most major provisions phased in by January 2014; remaining provisions ...

 

متلازمة التعب المزمن

متلازمة التعب المزمن لوحة فنية تمثل مرأة مصابة بمتلازمة التعب المزمن(رسم جيم يوشيوكا، ويلينغتون، نيوزيلندا، عام 2009)لوحة فنية تمثل مرأة مصابة بمتلازمة التعب المزمن(رسم جيم يوشيوكا، ويلينغتون، نيوزيلندا، عام 2009) معلومات عامة الاختصاص طب الروماتزم من أنواع متلازمة،  ونق...

Arsacides (Arménie)

Pour les autres significations, voir Arsacides. Les Arsacides d'Arménie ou Aršakouni (en arménien Արշակունիներ) sont les rois issus de la dynastie parthe des Arsacides ayant régné sur l'Arménie après les souverains artaxiades. À partir de 12 apr. J.-C., avec Vononès Ier, se succèdent en effet sur le trône soit d'anciens souverains parthes, soit des cadets de cette dynastie, dont la succession sur le trône d'Arménie est interrompue au gré des affrontements entre Part...

 

مكنسة كهربائية روبوتية

مكنسة كهربائية روبوتيةمعلومات عامةتصنيف  القائمة ... مكنسة كهربائية — روبوتات مستقلة — جهاز ذكي — domestic robot (en) — جهاز منزلي تعديل - تعديل مصدري - تعديل ويكي بيانات A TCM Reinigungsroboter (روبوت التنظيف الألماني) المكنسة الكهربائية الروبوتية غالبًا تسمى رومبا، هي مكنسة كهربائية آلي...