Famille libre et logique
Bonsoir
Une question sûrement bête mais je n'arrive pas à trouver la réponse.
Soit $E$ un espace vectoriel normé et $x,y \in E$. Si $(x,y)$ est libre alors $\forall \lambda \in [0,1] ,\ \lambda x+ (1-\lambda) y \ne 0$
Je n'arrive pas à le montrer.
Si $(x,y)$ est libre alors $\forall \lambda \in [0,1] ,\ \ \lambda x + (1- \lambda)y =0 \implies \lambda=0=1$
Une question sûrement bête mais je n'arrive pas à trouver la réponse.
Soit $E$ un espace vectoriel normé et $x,y \in E$. Si $(x,y)$ est libre alors $\forall \lambda \in [0,1] ,\ \lambda x+ (1-\lambda) y \ne 0$
Je n'arrive pas à le montrer.
Si $(x,y)$ est libre alors $\forall \lambda \in [0,1] ,\ \ \lambda x + (1- \lambda)y =0 \implies \lambda=0=1$
Réponses
-
Absolument délirant que tu enseignes les maths.
-
Mot-clé : contraposée.
-
S'il existe $\lambda \in [0,1]$ tel que $\lambda x +(1- \lambda) y=0$.
Alors $\lambda x = (\lambda-1) y$ ainsi $x$ et $y$ sont proportionnels et $(x,y)$ est une famille liée.
Par contraposée on a le résultat.
Poirot j'ai écrit quoi de délirant ?
-
Ce qui est délirant c'est que tu démontres $A \implies (0 = 1)$, mais que tu n'arrives pas à prouver $\text{non}(A)$.
-
Sol oui c'est vrai merci.
-
OShine a dit :S'il existe $\lambda \in [0,1]$ tel que $\lambda x +(1- \lambda) y=0$
Alors $\lambda x = (\lambda-1) y$ ainsi $x$ et $y$ sont proportionnels et $(x,y)$ est une famille liée.
-
Je dois récrire il existe lambda ?
-
OShine a dit :Je dois récrire il existe lambda ?Tiens, voici un exemple. Notons $P(x)$ la phrase "$x$ est divisible par $4$".Voici deux paragraphes :1) Il existe un entier $x$ tel que $P(x)$. Donc $x$ est pair.2) Il existe un entier $y$ tel que $P(y)$. Donc $x$ est pair.Bien sûr, ces deux paragraphes veulent dire la même chose, puisqu'on peut changer le nom d'une variable quantifiée, si on le fait bien pour chaque occurrence de cette variable dans toute la phrase concernée par le quantificateur (et qu'on ne choisit pas une lettre déjà utilisée !).Ta phrase où apparaissait le symbole $\lambda$ ressemble à la phrase 1) ci-dessus. Pourtant, tu vois bien, dans sa version équivalente 2), que $x$ arrive "comme un cheveu sur la soupe", i.e. n'a pas été introduit, ou encore est une variable libre.En tout cas, je te fais seulement cette remarque pour que tu progresses un peu en logique ; mais ce n'est pas forcément pertinent si ce qui t'intéresse, ce sont les familles libres.
-
Si, c'est pertinent, car ses erreurs les plus graves et les plus constantes sont en logique, et ça explique la majorité de ses difficultés à résoudre des exos simples y compris de niveau collège parfois.
Ce fil en témoigne une fois de plus, des notions "avancées" d'espace vectoriel mais des problèmes de logique niveau collège. -
De ce point de vue-là, je suis d'accord ; mais cette "erreur" est en fait assez répandue, même chez des personnes compétentes. On peut entendre dans la bouche de personnes très sérieuses des choses comme "s'il existe $x$ tel que $P(x)$ alors il est unique" alors que clairement, la personne voulait dire "pour tout $y,z$, si $P(y)$ et $P(z)$, alors $y=z$". Si on perçoit que c'est un abus de langage, ou si on comprend implicitement ce que la personne veut dire, c'est inoffensif ; mais si on est un peu analphabète en logique (et OShine, sans jugement de valeur ni intention de te blesser, c'est souvent ce que tu montres être - et je te dis ça dans l'espoir que tu prennes conscience de ce problème) je peux tout à fait comprendre qu'on puisse tomber dans ce piège par mimétisme.
-
Georges Abitbol d'accord merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres