Forum de Mathématiques: Maths-Forum

Oui, en fait pendant ta construction tu dois garder en tête une sorte de promesse qui dit que Sup |f(n+m) - fn| sur Kn doit être inférieur à un certain εn. Donc en fait à chaque étape tu promets que f(x) est dans une petite boule pour x dans Kn. Si εn tend vers 0, ta suite fn converge vers une fonct...

Ben en fait le terme que je cherchais (réunion dénombrable croissante de compacts) c'est σ-compact ou dénombrable à l'infini. Donc en supposant que X l'est (et c'est dans ton article et apparemment dans la définition de variété complexe), si X est la réunion croissante des Kn, et si tu as un ensembl...

ooh j'avais pas vu qu'il autorisait jusqu'à n+1 fonctions pour isoler {x}. En fait, si ta variété est compacte (par ex la sphère de riemann), les seules fonctions holomorphes sur X tout entier sont les fonctions constantes, donc tu vas avoir bien du mal à obtenir des ensembles autre que l'ensemble v...

1. je vois pas où ça apparaît dans le texte
2. je vois pas comment ta propriété de séparation entraînerait le lemme
3. on doit pas avoir les mêmes définitions parceque le lemme est faux pour par exemple une courbe elliptique.

Est-ce que X est une réunion croissante dénombrable de parties compactes ?

5.

c'est combien la soustraction des chiffres de 123 ?

si tu prends x dans K et g dans G, la suite (un) = (x, (x+g(x))/2, (x+g(x)+g(g(x)))/3, ...) est une suite à valeurs dans K donc a une valeur d'adhérence y. Comme |g(un)-un| est un O(1/n) (K est borné), on a en passant à la limite que g(y)=y. Mais bon la preuve du lemme m'a pas l'air très compliquée ...

Ben 0 est toujours un point fixe de tout le monde.

Si tu cherches des points fixes de f dans K, j'imagine que tu peux regarder un truc comme la moyenne de cesaro de la suite des itérés par f d'un point de K au hasard.

Tu rajoutes n'importe quel vecteur qui n'est pas dans le sous-espace vectoriel engendré par la famille libre initiale, et tu recommences jusqu'à ce que tu puisses plus.

Non. Je le répète la négation n'est pas un connecteur binaire, il n'est pas dans la liste. Même si tu avais un ensemble de 3 connecteurs binaires qui est complet, ça n'implique pas que tous les systèmes de 13 connecteurs sont complets sauf un (celui qui ne les contient pas). Ca implique seulement qu...

Non. Mais l'espace projectif, c'est l'espace usuel, auquel tu rajoutes un tas de "points à l'infini". Ces points à l'infini correspondent aux directions des droites de l'espace (en fait ils forment un plan projectif) Par exemple, pour voir la relation entre le plan projectif et le plan usu...

Ben comment tu comptes montrer qu'il existe 3 droites qui ne s'intersectent pas sans les donner explicitement ?? Il suffit de donner 3 plans vectoriels de R^4 qui sont en somme directe. Si R^4 te fait vomir, tu peux aussi donner 3 droites dans l'espace qui ne s'intersectent pas et qui ont trois dire...

Oui

A propos des mp, le site ne nous dit pas qu'on a un nouveau message si on ne passe pas le curseur sur le bouton du profil, alors qu'avant le nombre de nouveaux messages s'affichait directement sur la page en gras surligné si on en avait un

Non, si tu prends le plan P1 engendré par (e1,e2), et le plan P2 engendré par (e2,e3), ils ont une intersection non triviale (la droite engendrée par e2), et donc du coté espace projectif, ça correspond à 2 droites qui se coupent en un point.

une droite projective de l'espace projectif, c'est un plan de R^4 qui passe par l'origine.

les droites ne s'intersectent pas quand les plans correspondant sont en somme directe.

Ben par exemple, si je prends les 13 premiers connecteurs de la page wiki, (contradiction, conjonction, non-implication-réciproque, Q, non-implication, P, xor, ou, non-ou, équivalence, non-P, implication, non-Q) Tu souhaites montrer que cet ensemble de 13 connecteurs est complet, c'est à dire que po...

Sûrement pas.

Ta question c'était "montrer qu'un ensemble de 13 connecteurs distincts est complet", pas "montrer qu'un ensemble de 2 connecteurs distincts est complet".

Bon ça a été super dur de comprendre ta démarche puisque tu passes ton temps à écrire des trucs vrais pour tout z et tu écris quasiment jamais de truc équivalent à l'équation de départ. Tu as une équation z' + z'* = 0 Tu veux voir ce qu'elle dit à propos de z donc tu remplaces z' par (z-1)/(z+2) par...

remplace z' par son expression, et mets l'équation sous la forme ? zz* + ?z + ?z* + ? = 0.