Bonjour
Merci d'avance pour votre aide
la définition d'un corps formellement réel donnée ci-dessous est -elle correcte ?
(je n'ai aucun document sur ce sujet et le wiki n'a pas d'article non plus)
Soit un corps et on notera
0 le neutre de la première loi +
1 le neutre de la seconde loi .
on posera l'ensemble fini ou infini
on dit que ce corps est formellement réel si et seulement si
quelque soit une famille d'éléments de on vérifie toujours
Bonjour machintruc.
Oui, Un corps (formellement) réel est un corps dans lequel -1 n'est pas une somme de carrés
Vraiment merci JSVDB
purée j'étais complètement bloqué pour écrire cette définition sans votre accord et je me voyais avec une page blanche pour toute la nuit
bonne soirée à vous
salut
pourquoi sortir des définitions et appellations sans intérêt ... et ne pas simplement dire
soit K un corps tel que -1 ne soit pas un carré ...
Parce qu'il est plus court de dire :
"Soit K un corps formellement réel"
que
"Soit K un corps dans lequel -1 n'est pas une somme de carrés",
et que l'esprit latin, celui de César et de Cicéron, entre autre, aime bien les concisions.
Parce qu'il est classique dans le domaine des maths de donner des appellations (sans intérêts pour certains, parlantes pour d'autres) aux objets vérifiant certaines propriétés intéressantes.
Parce que sans ces définitions, on serait vite étouffé par le formalisme.
Parce que sans ces appellations, le langage mathématique ne serait pas forcément très agréable,
Par corollaire, je n'imagine pas voir la tête de certains théorème dans ces cas là
...
...
salut,
Bonjour Mr ALB
ah oui mince !!!
grand merci à vous (c'est très important pour moi)
quelle que soient une famille...
Salut,
C'est curieux, mais, tant qu'à faire, je dirais plus volontiers "quelle que soit la famille..." ou à défaut "pour toute famille..."
oui c'est vrai Larrech
merci effectivement puisque j'écris cette famille alors il faut dire
quelle que soit la famille [écriture de cette famille]
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :