Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Formalisation

Posté par Mayo (invité) 18-07-05 à 18:13

Salut à tous,
Voilà je me demandais si il fallait répéter les symboles d'existence lorque l'on écrit de façon formelle:
Par exemple doit on écrire
\forall u \in (F+G) \exists! v \in F , \exists! w \in G, u=v+w, ou peut-on faire l'économie du second \exists!?
Par contre si l'on veut écrire que w n'est pas unique on doit bien rajuoter \exists ?
Merci

Posté par
Nightmare
re : Formalisation 18-07-05 à 18:18

Bonjour

Je pense que tu peux marqué 3$\rm \exist!(v,w)\in F\times G

si w n'est pas unique je ne pense pas que tu puisses enlever le symbole


Jord

Posté par
otto
re : Formalisation 18-07-05 à 18:18

Tu as juste à écrire
Il existe un unique (v,w) tel que ...
Et si w n'est pas unique, en effet je ne vois pas de simplification non plus.
A+

Posté par Mayo (invité)re : Formalisation 18-07-05 à 18:20

ca marche merci a vous deux vous êtes vraiment super rapide lol

Posté par
Nightmare
re : Formalisation 18-07-05 à 18:21

Pas de probléme


Jord



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !