Finia aro

En matematiko, aron A oni nomas finia, se por iu natura nombro n ekzistas dissurĵeto de la aro {1, ..., n} sur la aron A. Mallonge oni skribas .

Ekzemple la aro estas finia ĉar la funkcio difinita per

estas dissurĵeto de sur .

Por matematike difini, kio estas la nombro de elementoj de finia aro, oni pruvas la sekvan aserton: se A estas finia aro kaj ekzistas naturaj nombroj n, m kaj dissurĵetoj , tiam n=m.

Tiu fakto ebligas difini la nombron de elementoj de finia aro A kiel la unikan naturan n tian, ke ekzistas dissurĵeto de sur (n certe ekzistas laŭ la difino mem de finia aro, kaj estas unika laŭ la ĵus citita aserto).

Tiun nombron oni simbole indikas per aŭ per kaj iam nomas povo de aro aŭ "kardinaleco" de . Nun oni povas, laŭlogike, aserti ke la aro el la ĉi-supra ekzemplo havas elementojn, t.e. . Aliaj ekzemploj: ; krome, oni aparte difinas, ke (kie estas la malplena aro).

Oni nomas aron nefinia, se ĝi ne estas finia. Ekzistas aliaj difinoj de nefinia aro ekvivalentaj al ĉi tiu.

Vidu ankaŭ

Read other articles:

Branch of medicine This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Travel medicine – news · newspapers · books · scholar · JSTOR (February 2016) (Learn how and when to remove this template message) Travel medicine or emporiatrics is the branch of medicine that deals with the prevention and management of heal...

 

مقبرة 10 تعديل مصدري - تعديل   رسومات توضح بنية المقبرة 10 مقبرة آمن موسه أو المقبرة 10 في وادي الملوك؛ التسمية العلمية للمقبرة KV10 . وكان يعتقد أنها كانت مقبرة بنيت للفرعون أمن‌مسه Amenmese من الأسرة التاسعة عشر. ولكن لا يوجد آثار تدل على أنه قد دفن بالفعل فيها. اكتشافها فتحت الم...

 

Синелобый амазон Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:ЗавропсидыКласс:Пт...

French politician, engineer and mathematician Lazare Nicolas Marguerite, Comte CarnotPortrait by Louis-Léopold Boilly, 181341st President of the National ConventionIn office20 May 1794 – 4 June 1794Preceded byRobert LindetSucceeded byClaude-Antoine Prieur-DuvernoisMember of the Committee of Public SafetyIn office14 August 1793 – 6 October 1794Director of the French DirectoryIn office4 November 1795 – 5 September 1797Preceded byNoneSucceeded byPhilippe-Antoine...

 

信徒Believe类型奇幻、科幻开创阿方索·卡隆主演 Johnny Sequoyah Jake McLaughlin Delroy Lindo 凯尔·麦克拉克伦 西耶娜·盖尔利 鄭智麟 Tracy Howe Arian Moayed 国家/地区美国语言英语季数1集数12每集长度43分钟制作执行制作 阿方索·卡隆 J·J·艾布拉姆斯 Mark Friedman 布赖恩·伯克 机位多镜头制作公司坏机器人制片公司华纳兄弟电视公司播出信息 首播频道全国广播公司播出日期2014年3月10日...

 

Bored to Death - Investigatore per noiaImmagine dalla sigla della serie televisivaTitolo originaleBored to Death PaeseStati Uniti d'America Anno2009-2011 Formatoserie TV Generecommedia, noir Stagioni3 Episodi24 Durata26 min (episodio) Lingua originaleinglese Rapporto16:9 CreditiIdeatoreJonathan Ames Interpreti e personaggi Jason Schwartzman: Jonathan Ames Zach Galifianakis: Ray Hueston Ted Danson: George Christopher Doppiatori e personaggi Edoardo Stoppacciaro: Jonathan Ames Roberto Stocc...

Questa voce sull'argomento militari statunitensi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. William W. AverellNascitaCameron, 5 novembre 1832 MorteBath, 3 febbraio 1900 Dati militariPaese servito Stati Uniti Unione Forza armata United States Army Union Army Anni di servizio1855 - 1865 Gradobrevetto di Maggior generale GuerreGuerra di secessione americana CampagneCampagna peninsulare B...

 

Франц Саксен-Кобург-Заальфельдскийнем. Franz von Sachsen-Coburg-Saalfeld герцог Саксен-Кобург-Заальфельдский 8 сентября 1800 — 9 декабря 1806 Предшественник Эрнст Фридрих Саксен-Кобург-Заальфельдский Преемник Эрнст I Саксен-Кобург-Заальфельдский Рождение 15 июля 1750(1750-07-15)Кобург, Сакс...

 

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Perrache quarter – news · newspapers · books · scholar · JSTOR (September 2023) (Learn how and when to remove this message) Perrache is a quarter of the 2nd arrondissement of Lyon, in the south of the Presqu'île. Location Gardens of the Gare de Lyon-Perrache. Perrache is l...

Questa voce o sezione sull'argomento centri abitati dell'Inghilterra 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. Questa voce o sezione sull'argomento Regno Unito non è ancora formattata secondo gli standard. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Loughboroughparrocchia civileLoughborough – Veduta LocalizzazioneStato&#...

 

Scarborough Scarborough pada September 2012 Population 61.749 [1] Perkotaan 108.600 Demonim Scarborian Ref. grid OS TA040880     - London 190 mi (310 km)*  S Distrik Scarborough County shire Yorkshire Utara Region Yorkshire and the Humber Negara konstituen Inggris Negara berdaulat Britania Raya Kota pos SCARBOROUGH Distrik kode pos YO11 – YO13 Kode telepon 01723 Polisi Pemadam kebakaran Ambulans Pa...

 

Politician from Bosnia and Herzegovina Marina PendešPendeš in 2016Member of the House of PeoplesIncumbentAssumed office 23 December 2019Minister of DefenceIn office31 March 2015 – 23 December 2019Prime MinisterDenis ZvizdićPreceded byZekerijah OsmićSucceeded bySifet Podžić Personal detailsBorn (1964-08-20) 20 August 1964 (age 59)Travnik, SR Bosnia and Herzegovina, SFR YugoslaviaNationalityBosnian CroatPolitical partyCroatian Democratic UnionAlma materMilitary Technic...

2015 film by J. J. Abrams For the film's soundtrack, see Star Wars: The Force Awakens (soundtrack). Star Wars: The Force AwakensTheatrical release posterDirected byJ. J. AbramsWritten by Lawrence Kasdan J. J. Abrams Michael Arndt Based onCharactersby George LucasProduced by Kathleen Kennedy J. J. Abrams Bryan Burk Starring Harrison Ford Mark Hamill Carrie Fisher Adam Driver Daisy Ridley John Boyega Oscar Isaac Lupita Nyong'o Andy Serkis Domhnall Gleeson Anthony Daniels Peter Mayhew Max von Sy...

 

Introduction of contaminants that cause adverse change For other uses, see Pollution (disambiguation). Environmental pollution redirects here. For the journal, see Environmental Pollution (journal). Litter on the coast of Guyana Part of a series onPollutionAir pollution from a factory Air Air quality index Atmospheric dispersion modeling Chlorofluorocarbon Combustion Exhaust gas Haze Global dimming Global distillation Indoor air quality Ozone depletion Particulates Persistent organic pollutan...

 

تصفيات بطولة أمم أوروبا 2016 المجموعة بمعلومات عامةالرياضة كرة القدم الاتحاد الاتحاد الأوروبي لكرة القدم الفئة كرة القدم للرجال جزء من تصفيات بطولة أمم أوروبا 2016 الفترة 2016 البداية 2014 — 9 سبتمبر 2014 النهاية 2015 — 13 أكتوبر 2015 الفرق المشاركة  القائمة ... منتخب بلجيكا لكرة القدم...

Genus of birds AptenodytesTemporal range: Pliocene to recent[1] Emperor penguins swimming Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Sphenisciformes Family: Spheniscidae Genus: AptenodytesMiller, JF, 1778 Type species Aptenodytes patagonicus   Aptenodytes p. patagonicus   Aptenodytes patagonicus halli   Aptenodytes forsteri   Aptenodytes ridgeni (fossil)   breeding grounds The genus Aptenodytes contains tw...

 

Supercoppa di Cipro 2018 Competizione Supercoppa di Cipro Sport Calcio Edizione 50ª Organizzatore CFA Date 29 settembre 2018 Luogo  Cipro Risultati Vincitore AEK Larnaca(1º titolo) Secondo APOEL Cronologia della competizione 2017 2019 Manuale La 50ª edizione della Supercoppa di Cipro si è svolta il 29 settembre 2018 tra l'APOEL, vincitrice della A' Katīgoria 2017-2018 e l'AEK Larnaca, vincitore della coppa nazionale. L'AEK Larnaca ha vinto il trofeo per la prima volta nella sua sto...

 

同大会のゲームソフトについては「2010 FIFA ワールドカップ 南アフリカ大会」をご覧ください。 2010 FIFAワールドカップ2010 FIFA World Cup South Africa 優勝してカップを手にしたスペイン大会概要開催国 南アフリカ共和国日程 2010年6月11日 - 7月11日チーム数 32 (6連盟)開催地数 10 (9都市)大会結果優勝 スペイン (1回目)準優勝 オランダ3位 ドイツ4位 ウルグアイ...

У Вікіпедії є статті про інші значення цього терміна: Синюха. Синюха Синюха біля Новоархангельська48°02′58″ пн. ш. 30°50′56″ сх. д. / 48.04956800002777584° пн. ш. 30.84906100002777762° сх. д. / 48.04956800002777584; 30.84906100002777762Витікзлиття річок Великої Висі і Тікича• коорди...

 

Para otros usos de este término, véase Mimo (desambiguación). El mimo francés Marcel Marceau en 1977. Un mimo (del griego antiguo,[1]​ ‘mimos’, imitador, actor)[2]​ es alguien que utiliza la mímica como medio teatral o como una acción artística, o representa una historia a través de gestos faciales o movimientos del cuerpo, sin uso del discurso o expresión verbal.[3]​[4]​[a]​ Orígenes Puede concederse al mimo teatral un origen genérico en el «μ...