Inscription / Connexion Nouveau Sujet
Niveau BTS
Partager :

dénomination

Posté par Profil amethyste 18-08-15 à 17:33

Bonjour et merci d'avance

Ne sachant pas bien m'exprimer en langage littéraire qui décrit quelque chose en mathématique

Pourriez vous m'indiquer comment se nomme l'application  notée  f suivante

on considère l'ensemble noté E selon

E=\mathbb {R}_+^*\times \{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|z\in \mathbb {R}_+^*\}

alors l'application se définit ainsi à tout point P \in \{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|z\in \mathbb {R}_+^*\} définit sur le repère canonique de l'espace affine R^3
et tout réel strictement positif r\in \mathbb {R}_+^*

on note f(P,r)  la projection qui à tout couple (P,r) projette un point situé strictement à l'intérieur du disque unité du repère canonique R^2



Posté par Profil amethystere : dénomination 18-08-15 à 18:45

Une idée ? Comment on nomme cela en mathématiques ?

...ça ne s'appelle pas une projection stéréographique car là la projection s'effectue sur l'intérieur du disque unité du plan canonique et non sur tout le plan

par ailleurs (bon je l'ai pas décrite ceci dit) cette projection conserve les angles, l'angle formé par deux droites de l'espace affine de R^3 est conservé  

Une droite passant par le point origine du repère canonique R^3 est droite sur le disque et passe par l'origine du repère canonique R^2

une droite ne passant pas par l'origine du repère canonique R^3 décrit un arc de cercle orthogonal sur le cercle unité du disque


Posté par
verdurin
re : dénomination 18-08-15 à 21:28

Bonsoir amethyste.
Il y a des \forall et des X qui me semblent bizarres dans tes définitions.

Est-ce que
E=\mathbb {R}_+^* \times\Bigl({\R}^3\setminus\{(0,0,z)|z\in \mathbb {R}_+^*\}\Bigr)
ou, en d'autres termes
E=\bigl\lbrace(a,b,c,d)\in\R^4\ \vert\ a>0\ ;\ d\le0\bigr\rbrace
est correct ?

Posté par Profil amethystere : dénomination 18-08-15 à 22:00

Bonsoir Verdurin  

oui (ça reviens au même )

E=\mathbb {R}_+^*\times (\{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|z\in \mathbb {R}_+^*\})

donc ça s'appelerai comment ?

l'application se définit ainsi à tout point P \in \{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|z\in \mathbb {R}_+^*\} définit sur le repère canonique de l'espace affine R^3
et pour tout réel strictement positif r\in \mathbb {R}_+^*

on note f(r,P)  la projection qui à tout couple (r,P)\in E projette un point situé strictement à l'intérieur du disque unité du repère canonique R^2






Posté par Profil amethystere : dénomination 18-08-15 à 22:15

Bonsoir Verdurin et merci

oui (ça reviens au même ) j'avais juste oublié une parenthèse et un quantificateur

bon apres j'ai écris le symbole (-) mais ça reviens à employer le symbole (\) puisque il y a inclusion d'un ensemble dans l'autre

selon A-B=A\(A INTERSECTION B) et donc lorsque B est inclus dans A on obtiens A\B=A-B

donc bref
  
E=\mathbb {R}_+^*\times (\{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|\forall z\in \mathbb {R}_+^*\})

donc ça s'appelerai comment ? (merci encore)

l'application se définit ainsi à tout point P \in \{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|z\in \mathbb {R}_+^*\} définit sur le repère canonique de l'espace affine R^3
et pour tout réel strictement positif r\in \mathbb {R}_+^*

on note f(r,P)  la projection qui à tout couple (r,P)\in E projette un point situé strictement à l'intérieur du disque unité du repère canonique R^2

Posté par
verdurin
re : dénomination 18-08-15 à 22:29

Disons que l'on a
E=\{(r\,;\;P=(x,y,z)\vert r\in\R^*_+,\;x\in\R,\;y\in\R,\; z\in\R_-\}

Comment définis tu f(r\,; P)\ ?

Il ne me semple pas possible d'avoir une projection conforme de E dans le disque unité de \R^2.
Mais je me trompe souvent, quoique pas toujours.

Posté par Profil amethystere : dénomination 18-08-15 à 22:50

Je vous fais confiance Verdurin,

effectivement il ne s'agit pas d'une projection conforme de E  

de plus vous ne faites jamais d'erreur (depuis des années que je suis ici j'en ai jamais vu chez vous)

Par conforme j'entend qu'elle respecte l'angle formé par deux droites de l'espace affine R^3  

selon tout point P de  \{X=(x,y,z)|\forall (x,y,z)\in \mathbb {R}^3\}-\{X=(0,0,z)|\forall z\in \mathbb {R}_+^*\} appartenant à ces droites

Je vais décrire cette application et démontrer la conformité ...

c'est un peu long à faire (j'ai pas encore commencé)

pour le cas où je démontre cette conformité comment pourrai t-on nommer cette projection ?







Posté par
verdurin
re : dénomination 18-08-15 à 23:13

Pour mes erreurs, tu as mal regardé.
Pour la dénomination éventuelle d'un objet, il vaut mieux commencer par démontrer son existence.

Posté par Profil amethystere : dénomination 18-08-15 à 23:20

C'est tellement clair dans ma tête que je pensais que ce genre de projection était déjà pratiquée

d'où ma question ...

À demain Verdurin, je poste dans la nuit, l'énoncé clairement et la démonstration demandée.

c'est pas difficile à faire, c'est juste un peu long ...

à plus camarade Verdurin

Posté par
verdurin
re : dénomination 18-08-15 à 23:55

Pour préciser, on prend les trois droites

d_1\;:\begin{cases}x=t\\y=0\\z=0\end{cases}\quad d_2\;:\begin{cases}x=0\\y=t\\z=t\end{cases}\quad d_3\;:\begin{cases}x=0\\y=-t\\z=t\end{cases}

Elles sont deux à deux orthogonales, et contenues dans \{(x,y,z)| (x,y,z)\in \mathbb {R}^3\}\setminus\{(0,0,z)| z\in \mathbb {R}_+^*\}

Dans une transformation conforme l'image d'une droite est une droite ou un cercle.

Comme l'image est bornée  

Citation :
un point situé strictement à l'intérieur du disque unité du repère canonique R^2
les images de ces trois droites sont trois cercles du plan ayant un point commun et deux à deux orthogonaux en ce point.
Je ne vois pas comment ceci peut être possible.

De façon plus générale, il me semble que cet exemple montre qu'il ne peut y avoir de de projection conforme quand la dimension diminue.

Posté par Profil amethystere : dénomination 19-08-15 à 00:56

merci Verdurin

je pose l'énoncé et je le résous cette nuit ou demain  

ENONCE (avec la définition de ce que j'entend par projection conforme)

on se place dans l'espace affine R^3 et on note \langle ...\mid ...\rangle le produit scalaire euclidien

Soient trois points distincts A,B,C définis sur le repère canonique de R^3 tels que ceux ci appartiennent à l'ensemble \{(x,y,z)| (x,y,z)\in \mathbb {R}^3\}\setminus\{(0,0,z)| z\in \mathbb {R}_+^*\}

et tels que l'on vérifie \langle \overrightarrow {AB}\mid \overrightarrow {AB}\rangle.\langle \overrightarrow {AC}\mid \overrightarrow {AC}\rangle-\langle \overrightarrow {AB}\mid \overrightarrow {AC}\rangle^2\neq 0

on entend par projection (bidule dont je recherche le nom dans ce topic) toute projection à l'intérieur du disque unité de R^2 le triplet de point A^{\prime},B^{\prime},C^{\prime} tels que

les couples de points (A^{\prime},B^{\prime}) et (A^{\prime},C^{\prime})

appartiennent à l'interieur de ce disque unité mais aussi  

ces couples de points appartiennent aussi respectivements à \Gamma et \Gamma ^{\prime} sont (lorsque* les droites passant par A et B d'une part et A et C d'autre part ne passent pas par l'origine du repere canonique R^3)deux arcs de cercles sécants au point A^{\prime} (sécants au cercle du disque unité et  orthogonaux à ce cercle sur les sécantes de ces arcs sur le cercle du disque unité) tel que

l'angle \theta formé par ces deux arcs de cercles sur le point A^{\prime} vérifie l'égalité

\theta =arccos \begin {pmatrix}\frac {\langle \overrightarrow {AB}\mid \overrightarrow {AC}\rangle}{\sqrt {\langle \overrightarrow {AB}\mid \overrightarrow {AB}\rangle.\langle \overrightarrow {AC}\mid \overrightarrow {AC}\rangle}}\end {pmatrix}


lorsque l'une de ces droites passe par l'origine du repere canonique R^3 alors ici  \Gamma ou \Gamma ^{\prime} est une droite passant par l'origine du repere canonique R^2

  



Posté par Profil amethystere : dénomination 19-08-15 à 04:21

pour ce topic on peut passer à la couleur bleu

Je viens juste de me rendre compte qu'effectivement Verdurin c'est impossible: Dans la projection que je désirai faire j'obtiens des infinités de cas où les angles ne sont pas respectés.

par exemple -> l'angle entre deux droites distinctes passant par l'origine O du repère canonique R^3 n'est pas respecté

autre exemple -> lorsque le couple de droites u et v  sécants en un point P et tel que la droite passant par P et l'origine O est coplanaire avec les deux droites u et v
alors dans ce cas l'angle formé  par les deux droites u et v n'est pas respecté

... du coup même si je tiens à faire ces projections (parce que je dois m'en servir) , je ne peux même pas les appeler conformes

ce topic est résolu puisque cette projection n'est même pas conforme (aucun intérêt de lui donner un nom qui l'a décris)  




Posté par Profil amethystere : dénomination 19-08-15 à 08:36

bon pour conclure ce topic
ma projection (puisque j'en ai besoin pour un truc) en fait (donc c'est valable aussi pour certains cas lorsque la droite passe par l'origine du repère R^3) conserve les angles dans certain cas et en fait elle les conserve dans tout les cas pour tous les points de R^3 situés sur la sphere S2 dont le centre est l'origine du repère canonique de R^3

eh bien voilà c'est un nouveau mot découvert : la pseudo conformité



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 !