Une relation d'équivalence sur P(N)

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 17:32
Localisation: Deux-Sèvres (79) // Paris (75)

Une relation d'équivalence sur P(N)

par Waax22951 » 23 Oct 2015, 22:24

Bonjour,
Je suis en train de faire mon DM et il y a un problème qui consiste à étudier une relation d'équivalence sur .
Cette relation est la suivante:

[CENTER][/CENTER]

On doit alors montrer que .
Étrangement, j'ai réussi à montrer cette équivalence, bien qu'elle me pose problème: par exemple on a , via la bijection:
[CENTER][/CENTER]

Cependant, on a aussi et , et il me semble qu'il n'y ait aucune bijection entre ces deux ensembles...

Du coup je me demande où mon raisonnement pose problème, et j'avoue que je ne trouve pas vraiment..!

Bonne soirée :we:



Skullkid
Habitué(e)
Messages: 3075
Enregistré le: 08 Aoû 2007, 20:08

par Skullkid » 23 Oct 2015, 23:07

Salut, c'est parce que ton phi n'est pas un élément de , l'image n'est pas définie sur les entiers impairs. Et n'importe quel prolongement de phi à est non bijectif.

Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 17:32
Localisation: Deux-Sèvres (79) // Paris (75)

par Waax22951 » 27 Oct 2015, 13:51

Ah oui évidemment !
Parfois je je fais un peu peur !

J'ai une autre question, sur un autre exercice.
Dans cet exercice, on suppose l'existence d'une fonction (avec a<b) telle que:
[CENTER][/CENTER]
On suppose de plus que f(a)=f(b)=0
Je dois alors montré par récurrence sur que:
[CENTER][/CENTER]

Il est suggéré de distinguer les cas selon la parité de k lors de l'itération, ce que j'ai fait. Pour le cas où k est pair c'est clair, mais pour le cas où k est impair, je sens que c'est assez simple mais je ne vois pas comment faire... Est-ce qu'on pourrait me donner une ou deux indications pour avancer s'il vous plaît ? :we:

Merci beaucoup et bonne journée ! :lol3:

Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 13:31

par zygomatique » 27 Oct 2015, 14:45

salut



alors avec l'hypothèse de récurrence f(u) = 0 et f(a) = 0 ::

:zen:

REM : vrai pour k < n + 1 ...

reste le cas k = n + 1 à étudier ...
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

Avatar de l’utilisateur
Darkwolftech
Membre Relatif
Messages: 140
Enregistré le: 11 Jan 2014, 19:42

par Darkwolftech » 27 Oct 2015, 21:21

Ouh petit coquin waax tu fais faire tes DM sur internet ? :ptdr:
Moi j'ai fini !! :langue2:

Je t'avoue que la 1a elle m'a fait baver longtemps ;)

Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 17:32
Localisation: Deux-Sèvres (79) // Paris (75)

par Waax22951 » 27 Oct 2015, 23:02

Ah ah xD
Nan mais attends elle m'a tuée cette question, j'ai plus que celle-ci à faire !!
Et du coup t'as fait comment toi ?

Ah et aussi, pour la dernière question du premier exercice, tu le justifies ou pas ?! :ptdr:

Bonne soirée !

Avatar de l’utilisateur
Darkwolftech
Membre Relatif
Messages: 140
Enregistré le: 11 Jan 2014, 19:42

par Darkwolftech » 28 Oct 2015, 12:25

En écrivant k = 2k'+1, tu peux judicieusement appliquer l'HR à k' mais aussi à k'+1 ... ;)

Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 13:31

par zygomatique » 28 Oct 2015, 18:55

bof ... pas besoin de l'indication ...
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

Avatar de l’utilisateur
Darkwolftech
Membre Relatif
Messages: 140
Enregistré le: 11 Jan 2014, 19:42

par Darkwolftech » 28 Oct 2015, 20:56

Oui mais si on veut faire "dans les règles" en distinguant les cas ...

Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 13:31

par zygomatique » 28 Oct 2015, 22:09

il n'y a pas de règle ...

une indication n'est qu'une indication ...dont on peut (on a le droit de) se passer ... ce n'est pas une obligation ....

ça reste cependant une roue de secours ... au cas où ...

:lol3:
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 37 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite