logo

Ensemble, fonction


autreEnsemble, fonction

#msg303199 Posté le 10-10-05 à 22:21
Posté par ProfilH_aldnoer H_aldnoer

Bonsoir,

voila un exercice qui me pose probleme :
  
   Soient \rm E un ensemble et \rm Y, \rm Z deux sous-ensembles non vides de \rm E.
L'objectif est l'étude de la fonction suivante :
\rm f:\mathcal{P}(E)\rightarrow\mathcal{P}(Y)x\mathcal{P}(Z)\\A\rightarrow(A\cap Y,A\cap Z)

>Montrer que \rm f est injective si et seuleument si \rm Y\cup Z=E

merci d'avance.
re : Ensemble, fonction#msg303273 Posté le 11-10-05 à 06:27
Posté par ProfilNicolas_75 Nicolas_75 Correcteur

Bonjour,

(\Longleftarrow )
Supposons que f(A)=f(A')
A\cap Y=A'\cap Y
A\cap Z=A'\cap Z
Alors :
A=A\cap E=A\cap(Y\cup Z)=(A\cap Y)\cup(A\cap Z)=(A'\cap Y)\cup(A'\cap Z)=A'\cap(Y\cup Z)=A'\cap E=A'

(\Longrightarrow )
Raisonnons par l'absurde.
Supposons que W=E\setminus (Y\cup Z) non vide
Alors W\cap Y=\empty et W\cap Z=\empty
Dans ce cas, f(\empty)=f(W)
Donc, puisque f est injective, W=\empty. Impossible

Sauf erreur.

Nicolas
re : Ensemble, fonction#msg303846 Posté le 11-10-05 à 20:10
Posté par ProfilH_aldnoer H_aldnoer

Bonsoir,

je ne saisi pas pourquoi \rm A=A\cap E ?

merci encore.
re : Ensemble, fonction#msg303859 Posté le 11-10-05 à 20:18
Posté par ProfilH_aldnoer H_aldnoer

et je ne saisi pas aussi vos (\Longleftarrow) et (\Longrightarrow) ?
re : Ensemble, fonction#msg304206 Posté le 12-10-05 à 03:35
Posté par ProfilNicolas_75 Nicolas_75 Correcteur

Bonjour,

(1) Il s'agit de montrer une équivalence ("si et seulement si"), c'est-à-dire :
"f est injective" <=> "YUZ=E"
(=>) et (<=) désignent simplement chacune des deux implications à démontrer.

(2)
A est une partie de E.
AE=A est donc une évidence.

Ca va ?

Nicolas
re : Ensemble, fonction#msg306691 Posté le 14-10-05 à 20:22
Posté par ProfilH_aldnoer H_aldnoer

Oui merci c'est plus claire pour les notations cependant je ne saisi pas bien votre deuxieme implication ... ?!?
re : Ensemble, fonction#msg307105 Posté le 15-10-05 à 12:46
Posté par ProfilH_aldnoer H_aldnoer

re : Ensemble, fonction#msg307206 Posté le 15-10-05 à 14:23
Posté par ProfilNicolas_75 Nicolas_75 Correcteur

Bonjour,

Ce que j'ai écrit me semble juste.
Quelle ligne vous ne comprenez pas ?

Nicolas
re : Ensemble, fonction#msg307935 Posté le 16-10-05 à 00:42
Posté par ProfilH_aldnoer H_aldnoer

oups !

j'avais oublier de préciser qu'il s'agissait d'une autre question excusez moi !!
---

Toujours avec la meme fonction, montrer que \rm fsurjective si et seuleument si \rm Y\cap Z=\empty
re : Ensemble, fonction#msg308049 Posté le 16-10-05 à 10:58
Posté par ProfilH_aldnoer H_aldnoer



pleaz
re : Ensemble, fonction#msg308587 Posté le 16-10-05 à 15:53
Posté par ProfilH_aldnoer H_aldnoer

re : Ensemble, fonction#msg309110 Posté le 16-10-05 à 20:30
Posté par ProfilH_aldnoer H_aldnoer

!!!
re : Ensemble, fonction#msg309396 Posté le 17-10-05 à 13:52
Posté par biondo (invité)

Salut,

Je ne fais pas tout, a toi de trouver les "calculs" manquants.

Si Y inter Z = vide:

Soient C et D des elements de P(Y) et P(Z), alors je pretends que A = C union D est un antecedent de (C,D).
Donc f surjective.



Reciproquement si f surjective,

Alors (Y,vide) possede un antecedent A par f.
A inter Y = Y
A inter Z = vide

je pretends qu'alors, Y inter Z = vide.

A toi de jouer
Reposte si ca ne vient pas.

A+
biondo

Répondre à ce sujet

réservé Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster
attention Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.

  • Ce topic

    imprimer Imprimer
    réduire la tailleRéduire   /   agrandir la tailleAgrandir

    Pour plus d'options, connection connectez vous !
  • Fiches de maths

    * topologie en post-bac
    6 fiches de mathématiques sur "topologie" en post-bac disponibles.


maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012