Fonctions analytiques et anneau intègre
Bonjour à tous.
Je voudrais prouver.
L'anneau $(\mathcal{A}(U),+,.)$ des fonctions analytiques est un anneau intègre si et seulement si $U$ est connexe
j'ai prouvé les deux directions simplement mais j'aime les preuves de la même proposition avec des méthodes différentes pour bien comprendre les théorème et élargir la pensée donc je passe à la contraposée de la condition d'anneau intègre.
Donc je vais supposer que $ f \neq 0 $ et $g\neq 0$ et montrer que $f.g \neq =0 $ sur $ U $ connexe.
Alors d’après théorème des zéros isolés alors les zéros de $f $ et $g$ sont isolés donc,
il existe [un] voisinage $V_1$ de $z_0$ un zéro de $f$ tel que : $ f(z)=(z-z_0) h_1(z)$ avec $h_1 $ analytique et ne s'annulant pas sur $V_1$.
Il existe voisinage $V_2$ de $z_1$ un zéro de $g$ tel que : $ g(z)=(z-z_1) h_2(z)$ avec $h_2$ $U$-analytique et ne s'annulant pas sur $V_2$.
J'ai trouvé ce cas :
$V_1 \cap V_2 = \emptyset $ et $f=0$ sur $U\setminus \left\{ {V_1 \setminus \{ {z_0}\} } \right\}$ et $g=0$ sur $U\setminus \left\{ {V_2 \setminus \{ {z_1}\} } \right\}$
Oh contradiction, mais après j'ai ri de moi car dans ce cas les zéros ne sont pas isolés.
Je trouve une ambiguïté quand je décris le cas général pour compléter le raisonnement.
voir dessous la preuve de Ahmed Lesfari dans [le] livre variable complexe. Je n'en étais pas convaincu pour cette démonstration.
Je voudrais prouver.
L'anneau $(\mathcal{A}(U),+,.)$ des fonctions analytiques est un anneau intègre si et seulement si $U$ est connexe
j'ai prouvé les deux directions simplement mais j'aime les preuves de la même proposition avec des méthodes différentes pour bien comprendre les théorème et élargir la pensée donc je passe à la contraposée de la condition d'anneau intègre.
Donc je vais supposer que $ f \neq 0 $ et $g\neq 0$ et montrer que $f.g \neq =0 $ sur $ U $ connexe.
Alors d’après théorème des zéros isolés alors les zéros de $f $ et $g$ sont isolés donc,
il existe [un] voisinage $V_1$ de $z_0$ un zéro de $f$ tel que : $ f(z)=(z-z_0) h_1(z)$ avec $h_1 $ analytique et ne s'annulant pas sur $V_1$.
Il existe voisinage $V_2$ de $z_1$ un zéro de $g$ tel que : $ g(z)=(z-z_1) h_2(z)$ avec $h_2$ $U$-analytique et ne s'annulant pas sur $V_2$.
J'ai trouvé ce cas :
$V_1 \cap V_2 = \emptyset $ et $f=0$ sur $U\setminus \left\{ {V_1 \setminus \{ {z_0}\} } \right\}$ et $g=0$ sur $U\setminus \left\{ {V_2 \setminus \{ {z_1}\} } \right\}$
Oh contradiction, mais après j'ai ri de moi car dans ce cas les zéros ne sont pas isolés.
Je trouve une ambiguïté quand je décris le cas général pour compléter le raisonnement.
voir dessous la preuve de Ahmed Lesfari dans [le] livre variable complexe. Je n'en étais pas convaincu pour cette démonstration.
Réponses
-
Si l'une ne s'annule pas en un certain point, se rappeler qu'elle est continue. Ça nous en dit beaucoup sur l'autre donc...
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres