Ensemble ordonné filtrant

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (février 2011).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mathématiques, un ensemble ordonné filtrant ou ensemble dirigé est un ensemble ordonné (c'est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d'autres) tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire. Cela sous-entend en premier lieu que ce troisième élément peut être comparé aux deux premiers, ce qui n'est pas automatique dans un ensemble ordonné (implicitement partiellement ordonné, par opposition à totalement ordonné).

En topologie, cette notion est utilisée pour définir les suites généralisées où au lieu d'être indexées par $\mathbb {N}$ , elles sont indexées par un ensemble ordonné filtrant. L'idée étant que pour exprimer que quelque chose « tend vers l'infini » il n'est pas nécessaire d'avoir un ordre total comme sur $\mathbb {N}$ mais simplement que pour tout sous-ensemble fini, on puisse dire qu'il y a un élément plus grand que tous.

En théorie des domaines, un dcpo est un ensemble ordonné dont tous les parties dirigées admettent une borne supérieure. Les dcpos peuvent fournir une sémantique dénotationnelle aux langages de programmation.

Définitions

Un ensemble ordonné $(I, \leq)$ est dit :

filtrant (à droite) si
$\forall (i,j)\in I^{2}~\exists k\in I\quad i\leq k{\text{ et }}j\leq k$ ^[1] ;
filtrant à gauche si l'ordre opposé est filtrant à droite, c'est-à-dire si
$\forall (i,j)\in I^{2}~\exists k\in I\quad k\leq i{\text{ et }}k\leq j.$

On peut généraliser les définitions ci-dessus aux relations de préordre.

Exemples

$(\mathbb {N} ,\leq )$ est filtrant, plus généralement, tout ensemble totalement ordonné est filtrant.
Pour tout ensemble X, l'ensemble des parties finies de X (ordonné par l'inclusion) est filtrant.
Les treillis sont filtrants à droite et à gauche.
Les filtres et plus généralement les bases de filtres sont filtrants à gauche pour l'inclusion.

Lien avec les filtres

Soit $(I,\leq )$ un ensemble ordonné filtrant à droite. L'ensemble

{\mathcal {B}}=\{[x,+\infty [\mid x\in I\}

est une base de filtre, où, pour tout x de

I

[x,+\infty [

désigne la partie

\{y\in I,y\geq x\}

Lorsque $I$ admet un plus grand élément $\omega$ , ce filtre est le filtre principal ${\mathcal {F}}_{\omega }$ .

Parties cofinales

Soit $(I,\leq )$ un ensemble ordonné (filtrant ou pas) et J une partie de I. On dit que J est cofinale (en) si $\forall x\in I,\ \exists y\in J,\ x\leq y$ .

Dans les différentes définitions de la limite, la limite en analyse ou la limite inductive ou projective en algèbre, on ne change pas la (ou parfois les) limite(s) en remplaçant un système filtrant par une partie cofinale.

On dit que J est une suite cofinale si $(J,\leq )$ est isomorphe à $(\mathbb {N} ,\leq )$ . L'avantage d'une suite cofinale est de revenir à une définition fondamentale de la limite.^{[réf. nécessaire]}

Tout ensemble ordonné filtrant qui admet une partie cofinale dénombrable admet une suite cofinale. En particulier^[pas clair], dans un espace topologique, si tout point admet une base de voisinages dénombrable, alors c'est un espace séquentiel, c'est-à-dire qu'on peut décrire complètement la topologie avec des suites.

Notes et références

↑ Jacques Dixmier, Topologie générale, Paris, PUF, 1981, p. 92.

Voir aussi

Article connexe

Idéal (théorie des ordres)

Bibliographie

Nawfal El Hage Hassan, Topologie générale et espaces normés, présentation en ligne

Read other articles:

Listen to Love

Listen to LovePoster promosiGenreRomansa Melodrama Keluarga[1]Berdasarkan My Wife's Having an Affair this Week?!oleh Tomoko YoshidaSutradaraKim Seok-yoonPemeranLee Sun-kyun Song Ji-hyo BoA Lee Sang-yeob Kim Hee-won Ye Ji-wonNegara asalKorea SelatanBahasa asliKoreaJmlh. episode12ProduksiDurasi60 menitRumah produksiDrama House [ko]DistributorJTBCRilis asliJaringanJTBCRilis28 Oktober (2016-10-28) –3 Desember 2016 Listen to Love[2] (Hangul: 이�...

Taman Sriwedari

Sriwedari beralih ke halaman ini. Untuk kelurahan di Surakarta, lihat Sriwedari, Lawiyan, Surakarta. Ada usul agar artikel ini digabungkan dengan Sriwedari, Lawiyan, Surakarta. (Diskusikan) Taman SriwedariPintu masuk Taman SriwedariInformasi umumJenisTamanAlamatJalan Slamet Riyadi,Kelurahan Sriwedari,Kecamatan LaweyanKotaSurakartaNegara Indonesia Taman Sriwedari (Jawa: ꦒꦼꦝꦺꦴꦁꦮꦪꦁꦮꦺꦴꦁꦯꦿꦶꦮꦼꦢꦫꦶ, translit. Gedhong Wayang Wong Sriwedari) a...

العلاقات الباربادوسية السنغافورية

العلاقات الباربادوسية السنغافورية باربادوس سنغافورة باربادوس سنغافورة تعديل مصدري - تعديل العلاقات الباربادوسية السنغافورية هي العلاقات الثنائية التي تجمع بين باربادوس وسنغافورة.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعي...

العلاقات الفيجية القبرصية

العلاقات الفيجية القبرصية فيجي قبرص فيجي قبرص تعديل مصدري - تعديل العلاقات الفيجية القبرصية هي العلاقات الثنائية التي تجمع بين فيجي وقبرص.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة فيجي قبرص المساحة (�...

DRDO Rustom

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. Rustom (Inggris: Prajurit) adalah kendaraan udara Altitude Medium Long Endurance tempur tak berawak (UCAV) yang dikembangkan oleh DRDO untuk tiga layanan, Indian Army, Angkatan Laut India dan Angkatan Udara India Angkatan Bersenjata India. Rustom bera...

Sesam stasjon

Norwegian TV series or program Sesam stasjonThe railway stationStarringSverre HolmSidsel RyenVoices ofHarald MæleCountry of originNorwayOriginal languageNorwegianNo. of episodes198ProductionCamera setupMulti-cameraRunning time30 minutesProduction companiesNRKChildren's Television WorkshopOriginal releaseNetworkNRK1Release22 February 1991 (1991-02-22) –6 May 1999 (1999-05-06)RelatedSesame Street Sesam stasjon (English: Sesame Station) was a 1990s Norwegian children's televis...

Сейнер

Судно, захватившее косяк рыбы в кошельковый невод Се́йнер (англ. seiner, от (purse) seine — (кошельковый) невод) — рыболовное судно для лова рыбы снюрреводом или кошельковым неводом[1], который также может называться сейной (англ. seine). Сейнер — обычно однопалубное ...

Myllykosken Pallo -47

MyPaCalcio Segni distintivi Uniformi di gara Casa Trasferta Colori sociali Bianco, rosso Dati societari Città Anjalankoski (Kouvola) Nazione Finlandia Confederazione UEFA Federazione SPL/FBF Campionato Kakkonen Fondazione 1947 Scioglimento2015Rifondazione2018 Stadio Saviniemi(4 067 posti) Sito web www.mypa.fi Palmarès Titoli nazionali 1 Veikkausliiga Trofei nazionali 3 Suomen Cup Dati aggiornati al 5 aprile 2019Si invita a seguire il modello di voce Il Myllykosken Pallo -47,...

Ciliverghe

Questa voce o sezione sull'argomento centri abitati della Lombardia 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. CiliverghefrazioneCiliverghe – VedutaLa chiesa parrocchiale dedicata a San Filippo Neri LocalizzazioneStato Italia Regione Lombardia Provincia Brescia Comune Mazzano Terri...

普密蓬·阿杜德

普密蓬·阿杜德ภูมิพลอดุลยเดช泰国先王普密蓬·阿杜德（官方肖像）泰國國王統治1946年6月9日－2016年10月13日（70年126天）加冕1950年5月5日前任阿南塔玛希敦繼任玛哈·哇集拉隆功总理见列表出生(1927-12-05)1927年12月5日美國马萨诸塞州剑桥奥本山醫院（英语：Mount Auburn Hospital）逝世2016年10月13日(2016歲—10—13)（88歲）泰國曼谷西里拉醫院安葬曼谷僧...

Émile Morinaud

Émile Morinaud Fonctions Député 1898-19021919-1940 Gouvernement Troisième République Groupe politique Groupe antijuif (1898-1902)PRS (1924-1928)GSR (1928-1932)GR (1932-1936)GDRI (1936-1940) Biographie Date de naissance 17 février 1865 Lieu de naissance Philippeville (Algérie française) Date de décès 20 février 1952 (à 87 ans) Lieu de décès Djidjelli (Algérie française) Résidence Algérie française modifier Émile Jean Morinaud est un homme politique français né...

AHFC Royals

Football clubAHFC RoyalsFull nameAlbion Hurricanes Football Club RoyalsFoundedAugust 15, 2017; 6 years ago (2017-08-15)StadiumCRSP, Campbell Road Sports Park Houston, TexasHead CoachJames Clarkson USL League Two, Rob McGann & Steve Williams WPSLLeagueUSL League Two & WPSL20231st, Lone Star DivisionPlayoffs: Conference QuarterfinalsWebsiteClub website Home colours Away colours The AHFC Royals are an American soccer club competing in the USL League Two. The Royals also...

Список авторов почтовых марок СССР

Художник марок «Золотого стандарта» И. Д. Шадр в студии Спи́сок а́второв почто́вых ма́рок СССР — список всех мастеров малой графики, создававших почтовые марки РСФСР и СССР с 1918 по 1991 годы. Работа художника, непосредственно нарисовавшего марку, может быть осно...

Josep Maria Jujol

Cet article est une ébauche concernant un architecte espagnol. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Josep Maria Jujol i Gibert Buste par Bruno Gallart au théâtre Métropolitain de Tarragone Présentation Naissance 16 novembre 1879Tarragone Décès 1er mai 1949 (à 69 ans)Barcelone Mouvement Modernisme catalan Œuvre Réalisations Fontaine monumentale de la Place d'Espagne (Barcelone) modifier&...

Gary Bettman

NHL Commissioner Gary BettmanBettman in November 20161st Commissioner of the National Hockey LeagueIncumbentAssumed office February 1, 1993Preceded byGil Stein (as President) Personal detailsBornGary Bruce Bettman (1952-06-02) June 2, 1952 (age 72)Queens, New York, U.S.Spouse Shelli Bettman (m. 1976)[1]Children3RelativesJeffrey Pollack (half-brother)Alma mater Cornell University (BA) New York University (JD) AwardsHockey Hall of Fame (2018) Gary...

Просунуті шахи

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні (авторитетні) джерела. Матеріал без джерел може бути піддано сумніву та вилучено. (вересень 2013) Просунуті шахи (англ. advanced chess) — різновид шахів, коли гравці пі...

Исфия

Местный советИсфияивр. עספיא‎араб. عسفي‎ 32°43′10″ с. ш. 35°03′48″ в. д.HGЯO Страна Израиль Округ Хайфский История и география Площадь 15,561 км² Высота над уровнем моря 520 м Часовой пояс UTC+2:00, летом UTC+3:00 Население Население 12 503 человек (2020) Показать/скрыть ...

Charles Hodge

Presbyterian theologian (1797–1878) Charles HodgeHodge, circa 1850–602nd Principal of Princeton Theological SeminaryIn office1851–1878Preceded byArchibald AlexanderSucceeded byArchibald Alexander Hodge Personal detailsBorn(1797-12-27)December 27, 1797DiedJune 19, 1878(1878-06-19) (aged 80)Spouse(s)Sarah Bache (married 1822; died 1849)Mary Hunter Stockman (married 1852)ChildrenArchibald Alexander Hodge, Caspar Wistar Hodge Sr.Parent(s)Hugh HodgeMary BlanchardAlma materPrinceton ...

Languages of Iran

For the linguistic branch of the Indo-European languages family, see Iranian languages. This article needs to be updated. Please help update this article to reflect recent events or newly available information. (August 2017) Languages of IranPersian sign at the Tarbiyat library in TabrizOfficialPersianMainPersian 53%, Azerbaijani and other Turkic dialects 18% (e.g Afshar dialect, Chaharmahali Turkic, Khalaj, Khorasani Turkic, Qashqai, Sonqori dialect, Turkmen), Kurdish 10%, Gilaki and Mazand...

Heinz Hopf

German mathematician (1894–1971) For the Swedish actor, see Heinz Hopf (actor). Heinz HopfHopf in 1954Born(1894-11-19)19 November 1894Gräbschen, Silesia, Prussia, German EmpireDied3 June 1971(1971-06-03) (aged 76)Zollikon, Zürich, SwitzerlandAlma materUniversity of BerlinKnown forAlmost complex manifoldH-spaceHopf algebraHopf conjectureHopf fibrationHopf invariantHopf linkHopf manifoldHopf surfaceHopf theoremHopf's integral formulaHopfionHopf–Rinow theoremFreudenthal-Hopf...