Hyperplan !!!

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

hyperplan !!!

par barbu23 » 19 Fév 2007, 21:02

Bonsoir:
Pourriez vous m'expliquer ce que entend par hyperplan engendré par un ensemble de points et en particulier à partir de ce qui a été dit dans le cours:
le voiçi ce passage ce dont je parle:

On se place dans un espace affine de dimension finie .

On a vu qu'une famille de points est liée si et seulement si le produit mixte de leurs coordonnées barycentriques dans un repère affine donné est nul. Donc, si l'on se donne points affinement libres, l'ensemble des points appartenant à l'hyperplan engendré par ces points , avec
, de coordonnées barycentriques
, est l'ensemble des points de
coordonnées barycentriques telles que

\[
\begin{pmatrix}
t_{1,0} & t_{2,0} &\cdots & t_{n,0} & x_{0} \\
t_{1,1} & t_{2,1} &\cdots & t_{n,1} & x_{1} \\
t_{1,2} & t_{2,2} &\cdots & t_{n,2} & x_{2}\\
\vdots & \ddots & \vdots \\
t_{1,n} & t_{2,n} &\cdots & t_{n,n} & x_{n}
\end{pmatrix}
\]



En développant le déterminant suivant la dernière colonne, on obtient une équation linéaire en les , de la forme
; le vecteur est un vecteur de coordonnées tangentielles de l'hyperplan.
Les coordonnées tangentielles d'un hyperplan sont uniques à proportionalité près. Un -uplet est un vecteur de coordonnées tangentielles d'un hyperplan si et seulement si ses coordonnées ne sont pas toutes nulles. et merçi infiniment !!!



fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 19 Fév 2007, 21:18

bonsoir

le sous espace affine engendré par une famille de ppoints est le plus petit sous espace affine les contenant c 'est l intersection des sea les contenant

c'est un sea

à ce titre il est dirigé par un sev qui est engendré par la famille des p-1 vecteurs (en fixant un des points comme origine)

dire que la famille des p = n points est affinement libre c est dire exactementque la famille des n-1 vecteurs est libre et donc engendre un hyperplan

le sea engendré par les n points est dirigé par un hyperplan c 'est un hyperplan affine.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 20 Fév 2007, 20:11

Bonsoir:
Merçi Fahr pour ta reponse !!
j'ai encore une autre petite question touojurs dans le cadre de la geometrie affine... ça veut dire quoi le vectorialisé d'un espace affine !!!
et merçi infiniment !!

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 20 Fév 2007, 20:14

E un espace affine = ensemble de points M

E (flèche) = vectorialisé de E = direction de E = {vecteur (MN) pour M et N dans E }

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 18:34

Bonsoir:
Toujours dans le cadre de la geometrie affine!!!
On a la propriété suivante:
Etant donné une partie non vide d'un espace affine , l'ensemble des barycentres de parties finies de
est un sous-espace affine de ; on l'appelle sous-espace affine engendré par .

Ma question est la suivante:
Si on prend par exemple un plan qui est un espace affine de dimension 2 , et un disque de rayon de ce plan, alors dans ce cas l'ensemble des barycentres de parties finis de ce disque est un sous espace affine du plan , c'est à dire une droite ??? je ne comprends pas bien cette propriété .. est ce que vous pouvez m'aider et merçi !!
et si vous pouvez aussi me dire ce qu'on entend par parties finis du disque, est ce que c'est l'ensemble des partie du cercle ou bien une partition du disque ou bien autre chose ???
et merçi d'avance !!

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 22 Fév 2007, 18:36

bonsoir
dans le plan affine
le sous espace affine engendré par le disque est ...
le plan lui même

il suffit que P contienne trois points non alignés pour que le sea engendré par P soit le plan

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 18:42

Merçi pour la reponse !!
tu peux m'expliquer le contenu de cette propriété ?!!
Merçi !!

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 22 Fév 2007, 18:47

le plan est l 'ensemble des barycentres de 3 points non alignés A,B ,C :
en effet pour tout M du plan
le vecteur AM s 'écrit

AM = x AB +y AC donc

(1-x-y) AM +xBM +yCM = 0

donc M barycentre de A(1-x-y) ; B(x) ;C(y)

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 19:12

oui tout à fait d'accord !! ici le sous espace affine du plan est le plan lui meme qui est un sous espace affine maximal, et si A, B et C sont alignés alors l'ensemble des barycentres de A, B et C est le sous espace affine propre qui est une droite !! ( A, B et C sont toujours une partie ''finie'' du plan )
Le plan est un ensemble indenombrable de points, si on prend une portion continue de ce plan ( l'exemple du disque que j'ai posé, ce n'est pas une partie finie ) alors ça ne peut etre qu'un ensemble de singletons de cardinal fini!!
Merçi pour ta reponse, c'est clair maintenant !!!

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 22:10

Rebonsoir:
Voiçi une autre propriété que je n'ai pas encore compris:

Un sous-espace affine de dimension d'un espace affine de dimension s'exprime comme intersection de images réciproques de singletons par des formes affines indépendantes; c'est-à-dire:




pour une certaine famille de formes affines indépendantes et des scalaires . La direction de
est l'espace vectoriel:



Mes questions sont les suivantes:
1) Que represente l'ensemble pour un certain fixe de ?.
2) Que represente l'ensemble pour un certain fixe de ?.
3) D'où sort les ?.
et merçi d'avance !!!

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 22:17

désolé, il y'a une petite erreur:
et dans la question 2) aussi : on a :

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 22 Fév 2007, 22:19

désolé, il y'a une petite erreur:
et dans la question 2) aussi : on a : au lieu de

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 22 Fév 2007, 22:34

un sea Y de E est la donnée d 'un point a et d'une direction Y (fleche)qui est sev de E(fleche)
dire que Y est de dim p est par définition dire que Y (flèche) est de dim p

or un sev de dim p est l'intersection de n-p hyperplans (vectoriels)


un hyperplan Hi (flèche) (vectoriel) est le noyau d'une forme linéaire f i (flèche)

les n-p fi flèches seront indépendantes ssi l'intersection des hyperplans
est de dim p
{ fi(fleche) (x) = 0} est exactement ker fi (flèche) = Hi (flèche)
maintenant

pour chaque i on définit une forme affine f i de partie linéaire fi (flèche)

en imposant f i ( a) = bi ( bi fixé arbitrairement)


intersection sur i { x ; f i (x) = bi } sera le sea dirigé par inter {f i (fleche) (x) = } = Y flèche e t passant par a c 'est bien notre Y de départ

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 23 Fév 2007, 01:56

D'accord !!
Quel lien a-t-il tous ça avec le fait que ??
Merçi encore une fois !!

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 23 Fév 2007, 08:29

bonjour

aucun a priori

tu n as pas dit ce qu'était f

d'ailleurs il manque des flèches sans doute partout

E (flèche) f (flèche) car c'est une relation (vraie ou fausse) dans un ev pour un endo et non dans un espace affine.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 23 Fév 2007, 20:30

Bonsoir:
Est ce qu'on a toujours pour une "forme" lineaire quelconque l'egalité suivante : ( somme "directe" de sous espaces vectoriels ), parceque dans le cas general, si : une application lineaire, l'egalité n'est pas toujours verifiée pour une somme "directe", parce qu'on n'a pas necessairement :
. ( un simple contre-exemple suffit pour le demontrer ).
Une autre question: est ce qu'on a aussi: quelque soit une "forme lineaire", sans parler d'hyperplans ( je cherche une traduction algebrique à celà et non pas geometrique )
et merçi infiniment !!

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 23 Fév 2007, 20:32

bonsoir

pour f une forme linéaire

noyau et image vivent ds des mondes différents...

imf inclus ds K
ker f inclus ds E

et à part pour E = K

ça n'a aucun sens de se demander si ker f et im f sont supplémentaires.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 23 Fév 2007, 20:40

Fahr je suis d'accord avec toi : j'ai oublié de te preciser que f est une forme lineaire, alors je voulais juste savoir le lien qui pourrait y avoir entre la première formule : et et celle qui s'ecrit comme ça : (hyperplan vectoriel et non affine, on est dans la geometrie vectorielle maintenant ).
En tous cas je te remercie pour tes reponses precedentes, concises et bien structurés, merçi !!!

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 23 Fév 2007, 20:45

oui tu as raison !!

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 23 Fév 2007, 21:31

Bon, on recapitule tous ça : :
on a :
avec: : droite vectoriele ( sous espace vectoriel ) et : hyperplan vectoriel.
pour avec: l'espace dual de , l'ecriture: n'a pas de sens, mais dans l'autre sens : quelque soit un hyperplan il existe une unique forme lineaire telle que: ( c'est une propriété qu'on trouve dans les cours sur les espaces vectoriels ), ça veut dire que : et isomorphe à est ce que c'est vrai ça ?!
Est ce qu'il suffit que pour que deux espaces vectoriels soient isomorphes qu'ils aient la meme dimension !!
et merçi infiniment !!

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 71 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