Operation ensembliste

par **ranell** » 02 Oct 2007, 20:22

bonsoir à toutes et à tous,
voilà je suis nouvelle dans le forum,je suis etudiante en informatique, mais j'ai souvent besoin des mathematique pour mes etudes.
donc j'aurai des questions un peu bête à poser :we:
je bloque sur certaine opérations ensembliste simple, j'espere que vous me répondrez.
je voudrais savoir comment est ce qu'on peut demontré que :
si A appartient à X et A appartient à Y donc X est incluse dans Y.
moi je vois que ceci implique que A est l'inersection entre X et Y , je sais pas comment on a pu passer à l'inclusion. :triste:
remarque: si vous connaissez un cour sur les operations ensembliste ca serai sympa de me donner le lien.
merci de m'aider :++:

par **Joker62** » 02 Oct 2007, 20:42

X = [1;3]
Y = [2;4]

A = 2.5

A X
A Y

X n'est pas inclu dans Y
Il manque des choses donc

par **ranell** » 02 Oct 2007, 20:54

merci bcp Joker62 pour avoir pris le temps de me répondre.
je vais poser le probleme dés le début alors :
on veut demontrer que si L1 inclu L2 alors L1.L3 inclu L2.L3 :
soit wL1.L3 , il existe w1L1 et w3 L3 telque w=w1.w3
w1 L1 et L1 inclu L2 donc w1 L2
w1 L2 et w3 L3 donc w1.w3L2.L3 wL2.L3
wL2.L3 et wL1.L3
je bloque sur le passage de cette ligne a la suivante :marteau:

donc L1.L3 inclu L2.L3.
voila la solution que j'ai, j'espere que c'est clair.

par **Joker62** » 02 Oct 2007, 20:57

Si X est inclu dans Y alors tout élément de X se trouve dans Y

Si tu mets un aquarium chez toi avec plein de poissons
Alors les poissons habitent dans leurs aquariums
L'aquarium habite dans la maison ( ouai un aquarium ça habite pas je sais :D )

Donc tes poissons habitent dans ta maison :)

Pas mal hein mon image ?

par **ranell** » 02 Oct 2007, 21:09

wé super ton truc de poisson :we: en fait c'est ce qui manque au personne comme moi, l'imagination...
je tiens a preciser que mon probleme est relation avec la theorie de langage... au cas ou il ya un informaticien qui comprend au mathematique :)

par **Joker62** » 03 Oct 2007, 17:51

J'ai étudié aussi la théorie des Langages :)
J'ai préféré tout oublier même si c'était intéressant ( Enfin quand on est intéressé par la prog )

par **ranell** » 08 Oct 2007, 00:28

toujours aucune reponse :briques:
je croyais que c'été facile :hein:
c'est dommage Joker59, rappel toi juste de ce truc :ptdr:

par **barbu23** » 08 Oct 2007, 00:34

Le point entre L1 et L2 dans L1.L2 ça designe quoi ? l'intersection ?

par **ranell** » 08 Oct 2007, 00:39

le point est une loi de composition interne, c 'est la concatenation de deux mots:
exemple: a.b=ab

par **legeniedesalpages** » 08 Oct 2007, 00:40

L1.L2 c'est l'ensemble des mots z qui sont la concaténation d'un mot u de L1 et d'un mot v de L2.

ie z=u.v

par **ranell** » 08 Oct 2007, 00:43

je tiens à preciser que L1.L2={wx*,pour tout w1L1 et w2L2, w=w1.w2}

par **barbu23** » 08 Oct 2007, 01:00

C'est quoi :

.
Bon pour qu'on se met tous d'accord sur les éléments de ton ensemble,

est un élément de

qui est egale à toutes les concatenations possibles des éléments de

et de

, c'est à dire :

puisque tu mets avant :

les quantificateurs :

.. donc ton ensemble est égale au singleton

..
Je pense que tu dois enlever les quantificateurs et ecrire comme ça ton ensemble :

et là je pense que c'est simple à faire !!

par **legeniedesalpages** » 08 Oct 2007, 01:02

barbu23 a écrit:
C'est quoi : .
Bon pour qu'on se met tous d'accord sur les éléments de ton ensemble, est un élément de qui est egale à toutes les concatenations possibles des éléments de et de , c'est à dire : puisque tu mets avant : les quantificateurs : .. donc ton ensemble est égale au singleton ..
Je pense que tu dois enlever les quantificateurs et ecrire comme ça ton ensemble :
et là je pense que c'est simple à faire !!

oui effectivement il vaut mieux.

par **ranell** » 08 Oct 2007, 01:07

merci bcp pour ton aide barbu23.
x: c'est l'alphabet, ensemble de symbole
x*: c'est l'ensemble de mot contitué par les symbole de x
en fait ca me parait logique tout ca , mais quand j'essai de suivre un raisonnement mathematique, je bloque.
c'est le raisonnement ki me pose un probleme, sinon pour moi ca me parait logic que puisque on a:
L1incluL2 donc L1.L3incluL2.L3.
je sais que je la complique un peu trop :triste:
merci encore à tous:++:

par **barbu23** » 08 Oct 2007, 01:18

Soit

Alors :

Puisque

Par conséquent :

D'où :

par **legeniedesalpages** » 08 Oct 2007, 01:19

Soit

. Alors il existe

et

tel que

.
Or

, donc

.
On en déduit que

.

Donc

.

par **ranell** » 08 Oct 2007, 01:27

aaa la chance que j'ai :)
merci merci pour votre aide, c'est vraiment sympa de votre part, c'est nettement plus clair, je vais pouvoir dormir en paix.. :we:

EDIT: je trouve pas de bouton resolu, donc c'est résolu!

par **Joker62** » 08 Oct 2007, 06:55

Et moi j'habite dans le 62 pas dans le 59 :D
Merci d'arrêter de faire de la fuite de cerveau dans le pas de calais :D

Operation ensembliste

operation ensembliste

Qui est en ligne