LeHavreV1, France, Analysis, bibRecord, 000271

Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov

Identifieur interne : 000271 ( France/Analysis ); précédent : 000270; suivant : 000272

Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov

Auteurs : Jérôme Lapuyade-Lahorgue [France]

Source :

RBID : Hal:cel-01255811

Abstract

Ce document présente les démonstrations du théorème de Bolzano-Weierstrass (version suite et version filtre) ainsi que du théorème de Tychonov dans le cas de produit généraux de compacts (dans des espaces non métriques).

Url:

https://hal.archives-ouvertes.fr/cel-01255811

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000536
to stream Hal, to step Curation: 000536
to stream Hal, to step Checkpoint: 000159
to stream Main, to step Merge: 000284
to stream Main, to step Curation: 000283
to stream Main, to step Exploration: 000283
to stream France, to step Extraction: 000271

Links to Exploration step

Hal:cel-01255811

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov</title>
<author><name sortKey="Lapuyade Lahorgue, Jerome" sort="Lapuyade Lahorgue, Jerome" uniqKey="Lapuyade Lahorgue J" first="Jérôme" last="Lapuyade-Lahorgue">Jérôme Lapuyade-Lahorgue</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23832" status="VALID"><orgName>Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes</orgName>
<orgName type="acronym">LITIS</orgName>
<desc><address><addrLine>Avenue de l'Université UFR des Sciences et Techniques 76800 Saint-Etienne du Rouvray</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.litislab.eu</ref>
</desc>
<listRelation><relation active="#struct-300317" type="direct"></relation>
<relation name="EA4108" active="#struct-300318" type="direct"></relation>
<relation active="#struct-301288" type="direct"></relation>
<relation active="#struct-301232" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300317" type="direct"><org type="institution" xml:id="struct-300317" status="VALID"><orgName>Université du Havre</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="EA4108" active="#struct-300318" type="direct"><org type="institution" xml:id="struct-300318" status="VALID"><orgName>Université de Rouen</orgName>
<desc><address><addrLine> 1 rue Thomas Becket - 76821 Mont-Saint-Aignan</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-rouen.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301288" type="direct"><org type="department" xml:id="struct-301288" status="VALID"><orgName>Institut National des Sciences Appliquées - Rouen</orgName>
<orgName type="acronym">INSA Rouen</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
<listRelation><relation active="#struct-301232" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName>
<orgName type="acronym">INSA</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Le Havre</settlement>
<region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
</placeName>
<orgName type="university">Université du Havre</orgName>
<placeName><settlement type="city">Rouen</settlement>
<region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
</placeName>
<orgName type="university">Université de Rouen</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:cel-01255811</idno>
<idno type="halId">cel-01255811</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/cel-01255811</idno>
<idno type="url">https://hal.archives-ouvertes.fr/cel-01255811</idno>
<date when="2014-03-11">2014-03-11</date>
<idno type="wicri:Area/Hal/Corpus">000536</idno>
<idno type="wicri:Area/Hal/Curation">000536</idno>
<idno type="wicri:Area/Hal/Checkpoint">000159</idno>
<idno type="wicri:Area/Main/Merge">000284</idno>
<idno type="wicri:Area/Main/Curation">000283</idno>
<idno type="wicri:Area/Main/Exploration">000283</idno>
<idno type="wicri:Area/France/Extraction">000271</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov</title>
<author><name sortKey="Lapuyade Lahorgue, Jerome" sort="Lapuyade Lahorgue, Jerome" uniqKey="Lapuyade Lahorgue J" first="Jérôme" last="Lapuyade-Lahorgue">Jérôme Lapuyade-Lahorgue</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23832" status="VALID"><orgName>Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes</orgName>
<orgName type="acronym">LITIS</orgName>
<desc><address><addrLine>Avenue de l'Université UFR des Sciences et Techniques 76800 Saint-Etienne du Rouvray</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.litislab.eu</ref>
</desc>
<listRelation><relation active="#struct-300317" type="direct"></relation>
<relation name="EA4108" active="#struct-300318" type="direct"></relation>
<relation active="#struct-301288" type="direct"></relation>
<relation active="#struct-301232" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300317" type="direct"><org type="institution" xml:id="struct-300317" status="VALID"><orgName>Université du Havre</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="EA4108" active="#struct-300318" type="direct"><org type="institution" xml:id="struct-300318" status="VALID"><orgName>Université de Rouen</orgName>
<desc><address><addrLine> 1 rue Thomas Becket - 76821 Mont-Saint-Aignan</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-rouen.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301288" type="direct"><org type="department" xml:id="struct-301288" status="VALID"><orgName>Institut National des Sciences Appliquées - Rouen</orgName>
<orgName type="acronym">INSA Rouen</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
<listRelation><relation active="#struct-301232" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName>
<orgName type="acronym">INSA</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Le Havre</settlement>
<region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
</placeName>
<orgName type="university">Université du Havre</orgName>
<placeName><settlement type="city">Rouen</settlement>
<region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
</placeName>
<orgName type="university">Université de Rouen</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Ce document présente les démonstrations du théorème de Bolzano-Weierstrass (version suite et version filtre) ainsi que du théorème de Tychonov dans le cas de produit généraux de compacts (dans des espaces non métriques).</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Haute-Normandie</li>
<li>Région Normandie</li>
</region>
<settlement><li>Le Havre</li>
<li>Rouen</li>
</settlement>
<orgName><li>Université de Rouen</li>
<li>Université du Havre</li>
</orgName>
</list>
<tree><country name="France"><region name="Région Normandie"><name sortKey="Lapuyade Lahorgue, Jerome" sort="Lapuyade Lahorgue, Jerome" uniqKey="Lapuyade Lahorgue J" first="Jérôme" last="Lapuyade-Lahorgue">Jérôme Lapuyade-Lahorgue</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/LeHavreV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000271 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000271 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/France
   |area=    LeHavreV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Hal:cel-01255811
   |texte=   Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov
}}

This area was generated with Dilib version V0.6.25.
Data generation: Sat Dec 3 14:37:02 2016. Site generation: Tue Mar 5 08:25:07 2024

	Serveur d'exploration sur la visibilité du Havre
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la visibilité du Havre

Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov

Filtres, Ultrafiltres, théor emes de Bolzano-Weierstrass et de Tychonov

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri