Bonjour. Je suis tombé sur ce mot en parcourant un texte d'histoire des mathématiques et je n'en trouve pas de définition sur le net après une recherche (peut-être un peu superficielle).
Puis-je connaitre cette définition? Ce concept est-il impliqué par la complétude comme le suggère son nom?
Merci d'avance.
Bonjour,
Tu ne précises pas le contexte mais je suppose que c'est de la topologie.
Je pense que c'est lié à la notion de quasi-norme :
http://en.wikipedia.org/wiki/Quasinorm
Il suffit de traduire cela pour une distance et de dire qu'un espace topologique est quasi-complet pour une "quasi-distance" si toutes les suites de Cauchy sont convergentes pour la topologie induite par cette "quasi-distance". Ce n'est qu'une hypothèse. Je n'ai pas trouvé de papier sur la notion de quasi-complet.
salut,
pourrais-tu préciser le contexte? parce que la notion de complétude intervient dans plusieurs branches des mathématiques : il y a des espaces topologiques complets, des graphes complets, des systèmes d'axiomes complets, et même des statistiques complètes.
Bonjour,
Peut-être là : http://dml.cz/bitstream/handle/10338...1-1971-3_9.pdf
Ou là : http://arxiv.org/PS_cache/math/pdf/0701/0701422v1.pdf
Pour les axiomes, je n'ai jamais vu cette notion (ce qui ne prouve pas grand-chose).
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Il y a des ressources payantes sur la "quasi-completeness in non Freagan logic".
A cette page, il y a un pdf (de quatre pages, en anglais) dont le titre est "Quasi-Completeness in Modular Abelian Group Rings
over Special Rings"
Ou ici, un pdf de 12 pages, dont le titre est "Vector-Valued Integrals" et les sept parties sont :
1. Gelfand-Pettis integrals
2. Coproducts, colimits of topological vectorspaces
3. Ubiquity of quasi-complete spaces
4. Totally bounded sets in topological vectorspaces
5. Quasi-completeness and convex hulls of compacts
6. Existence of integrals
7. Historical notes and references
Mais je ne m'y connais guère en topologie.
Shokin
Pardon, humilité, humour, hasard, tolérance, partage, curiosité et diversité => liberté et sérénité.
ah, je pensais à la complétude ou plutôt à la fameuse incomplétude de Gödel. Elle ne caractérise pas un système d'axiomes?Envoyé par Médiat
Si, mais dans ce cadre, on distingue les théories :
1) Complètes
2) Incomplètes
3) Essentiellement Incomplètes (Que l'on ne peut pas compléter par un système récursif, comme PA)
Les quasi-complètes ne me disent rien.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Là, peut-être, http://santos.cis.ksu.edu/schmidt/APLAS06/tech.pdf.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Merci ! Je lirai cela plus tard. Je ne me suis pas encore mis à la topologie, en fait.
Shokin
Pardon, humilité, humour, hasard, tolérance, partage, curiosité et diversité => liberté et sérénité.
En cherchant un peu sur le net, j'ai trouvé deux définitions différentes d'une quasi-distance (ou quasi-métrique). L'équivalent de celle que j'ai donnée pour les normes et une autre que voici.
On dit qu'une applicationde
-
-
On n'omet simplement l'axiome de symétrie.
J'ai un article qui parle de la complétude dans un tel espace :
http://www.fixedpointtheoryandapplic...812-2011-2.pdf
Visiblement il y a plusieurs définitions possibles de la complétude dans un tel espace (voir page 2).
Il définit de plus
Dans l'article (si j'ai bien compris), il dit que l'espace quasi-métrique
Dernière modification par Tiky ; 21/08/2011 à 23h52.
Oui désolé, le cadre était bien la topologie. Je pense qu'il y a un rapport avec la quasi-distance dont vous parlez. Je pencherais pour la définition donnée par Tiky au début parce qu'elle semble "naturelle".
Pour la logique, alors là, je ne sais pas du tout si ce terme existe...
Voici le lien à tout hasard (je tiens à préciser que je ne comprend rien à rien de ce qui est écrit mais que la quasi-complétude m'a intrigué plus que le reste que je ne comprenais pas):http://www.iecn.u-nancy.fr/~ferrier/EVT/DualEVT.pdf
Dans l'article, il donne une définition de la quasi-complétude pour un espace disqués page 73 qui n'a aucun rapport avec les deux définitions que je t'ai donnée.
la définition que tu cherches est donnée page 98 du texte de Ferrier, tu aurais pu le lire jusqu'au bout...
Effectivement, je m'excuse. Il en parlait beaucoup dans les 40 premières pages sans donner aucune définition donc j'ai cru qu'il ne le définirait pas par la suite (d'ailleurs je ne pensais pas qu'il allait définir quoi que ce soit).
Pardon.
Et as-tu compris la définition ? C'est le plus important.
