Server : Apache System : Linux webd348.cluster026.gra.hosting.ovh.net 5.15.148-ovh-vps-grsec-zfs-classid #1 SMP Thu Feb 8 09:41:04 UTC 2024 x86_64 User : hednacluml ( 122243) PHP Version : 8.3.9 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl Directory : /home/hednacluml/encyclo/articles/p/r/o/ |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr" lang="fr" dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<!-- headlinks removed -->
<link rel="shortcut icon" href="../../../../misc/favicon.ico"/>
<title>Discuter:Produit scalaire - Wikipédia</title>
<style type="text/css">/*<![CDATA[*/ @import "../../../../skins/offline/main.css"; /*]]>*/</style>
<link rel="stylesheet" type="text/css" media="print" href="../../../../skins/common/commonPrint.css" />
<!--[if lt IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE50Fixes.css";</style><![endif]-->
<!--[if IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE55Fixes.css";</style><![endif]-->
<!--[if IE 6]><style type="text/css">@import "../../../../skins/monobook/IE60Fixes.css";</style><![endif]-->
<!--[if IE]><script type="text/javascript" src="../../../../skins/common/IEFixes.js"></script>
<meta http-equiv="imagetoolbar" content="no" /><![endif]-->
<script type="text/javascript" src="../../../../skins/common/wikibits.js"></script>
<script type="text/javascript" src="../../../../skins/offline/md5.js"></script>
<script type="text/javascript" src="../../../../skins/offline/utf8.js"></script>
<script type="text/javascript" src="../../../../skins/offline/lookup.js"></script>
<script type="text/javascript" src="../../../../raw/gen.js"></script> <style type="text/css">/*<![CDATA[*/
@import "../../../../raw/MediaWiki%7ECommon.css";
@import "../../../../raw/MediaWiki%7EMonobook.css";
@import "../../../../raw/gen.css";
/*]]>*/</style> </head>
<body
class="ns-1">
<div id="globalWrapper">
<div id="column-content">
<div id="content">
<a name="top" id="contentTop"></a>
<h1 class="firstHeading">Discuter:Produit scalaire</h1>
<div id="bodyContent">
<h3 id="siteSub">Un article de Wikipédia, l'encyclopédie libre.</h3>
<div id="contentSub"></div>
<!-- start content -->
<table class="messagebox standard-talk plainlinks" style="font-size:90%; text-align: left;">
<tr>
<td>
<div class="center">
<div class="floatnone"><span><a href="../../../../articles/n/u/v/Image%7ENuvola_apps_edu_mathematics_blue-p.svg_8d81.html" class="image" title="WikiProjet Mathématiques"><img alt="WikiProjet Mathématiques" src="../../../../images/shared/thumb/3/3e/Nuvola_apps_edu_mathematics_blue-p.svg/70px-Nuvola_apps_edu_mathematics_blue-p.svg.png" width="70" height="70" border="0" /></a></span></div>
</div>
</td>
<td><b>Produit scalaire</b> fait partie du <b><a href="../../../../articles/m/a/t/Projet%7EMath%C3%A9matiques_a98f.html" title="Projet:Mathématiques">projet Mathématiques</a></b>, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux <a href="../../../../articles/m/a/t/Math%C3%A9matiques.html" title="Mathématiques">mathématiques</a>. Si vous voulez participer, vous pouvez <a href="http://fr.wikipedia.org../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" class="external text" title="http://fr.wikipedia.org../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" rel="nofollow">modifier cet article</a> ou visiter la <a href="../../../../articles/m/a/t/Projet%7EMath%C3%A9matiques_a98f.html" title="Projet:Mathématiques">page du projet</a>, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le <b><a href="../../../../articles/m/a/t/Portail%7EMath%C3%A9matiques_0c04.html" title="Portail:Mathématiques">portail Mathématiques</a></b> pourrait aussi vous intéresser.</td>
</tr>
<tr>
<td style="background: #ffff66; text-align: center;"><b>B</b></td>
<td>Cet article a été classé comme d'<b>Avancement B</b> selon le <b><a href="../../../../articles/m/a/t/Projet%7EMath%C3%A9matiques_%C3%89valuation_e5cf.html#Avancement" title="Projet:Mathématiques/Évaluation">Tableau d'évaluation</a></b> du projet. (<a href="../../../../articles/m/a/t/Projet%7EMath%C3%A9matiques_%C3%89valuation_Statistiques_d%C3%A9taill%C3%A9es_ecad.html" title="Projet:Mathématiques/Évaluation/Statistiques détaillées">Voir les statistiques</a>)</td>
</tr>
<tr>
<td style="background: #ff00ff; text-align: center;"><b>Maximum</b></td>
<td>Cet article a été classé comme d'<b>Importance maximum</b> selon le <b><a href="../../../../articles/m/a/t/Projet%7EMath%C3%A9matiques_%C3%89valuation_e5cf.html#Importance" title="Projet:Mathématiques/Évaluation">Tableau d'évaluation</a></b> du projet.</td>
</tr>
</table>
<table id="toc" class="toc" summary="Sommaire">
<tr>
<td>
<div id="toctitle">
<h2>Sommaire</h2>
</div>
<ul>
<li class="toclevel-1"><a href="#Produit_scalaire_ou_hermitien.3F"><span class="tocnumber">1</span> <span class="toctext">Produit scalaire ou hermitien?</span></a></li>
<li class="toclevel-1"><a href="#De_quelle_op.C3.A9ration_s.27agit-il_.3F"><span class="tocnumber">2</span> <span class="toctext">De quelle opération s'agit-il ?</span></a></li>
<li class="toclevel-1"><a href="#Suppression_d.27information"><span class="tocnumber">3</span> <span class="toctext">Suppression d'information</span></a></li>
<li class="toclevel-1"><a href="#Suppression"><span class="tocnumber">4</span> <span class="toctext">Suppression</span></a></li>
<li class="toclevel-1"><a href="#Refonte_de_l.27article"><span class="tocnumber">5</span> <span class="toctext">Refonte de l'article</span></a></li>
<li class="toclevel-1"><a href="#Le_serpent_se_mord-t-il_la_queue_.3F"><span class="tocnumber">6</span> <span class="toctext">Le serpent se mord-t-il la queue ?</span></a></li>
<li class="toclevel-1"><a href="#Une_analyse_critique"><span class="tocnumber">7</span> <span class="toctext">Une analyse critique</span></a>
<ul>
<li class="toclevel-2"><a href="#Espace_de_travail"><span class="tocnumber">7.1</span> <span class="toctext">Espace de travail</span></a></li>
<li class="toclevel-2"><a href="#Orientation_et_rotation"><span class="tocnumber">7.2</span> <span class="toctext">Orientation et rotation</span></a></li>
<li class="toclevel-2"><a href="#Doit-on_d.C3.A9border_sur_la_norme_.3F"><span class="tocnumber">7.3</span> <span class="toctext">Doit-on déborder sur la norme ?</span></a></li>
<li class="toclevel-2"><a href="#In.C3.A9galit.C3.A9_de_Cauchy-Schwartz"><span class="tocnumber">7.4</span> <span class="toctext">Inégalité de Cauchy-Schwartz</span></a></li>
<li class="toclevel-2"><a href="#Propri.C3.A9t.C3.A9_g.C3.A9om.C3.A9trique"><span class="tocnumber">7.5</span> <span class="toctext">Propriété géométrique</span></a></li>
<li class="toclevel-2"><a href="#Propri.C3.A9t.C3.A9_alg.C3.A9brique"><span class="tocnumber">7.6</span> <span class="toctext">Propriété algébrique</span></a></li>
<li class="toclevel-2"><a href="#Expresson_analytique"><span class="tocnumber">7.7</span> <span class="toctext">Expresson analytique</span></a></li>
<li class="toclevel-2"><a href="#Structures_induites"><span class="tocnumber">7.8</span> <span class="toctext">Structures induites</span></a>
<ul>
<li class="toclevel-3"><a href="#R.C3.A9ponse_de_jl"><span class="tocnumber">7.8.1</span> <span class="toctext">Réponse de jl</span></a></li>
</ul>
</li>
</ul>
</li>
</ul>
</td>
</tr>
</table>
<script type="text/javascript">
//<![CDATA[
if (window.showTocToggle) { var tocShowText = "afficher"; var tocHideText = "masquer"; showTocToggle(); }
//]]>
</script>
<p><a name="Produit_scalaire_ou_hermitien.3F" id="Produit_scalaire_ou_hermitien.3F"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Produit scalaire ou hermitien?">modifier</a>]</span> <span class="mw-headline">Produit scalaire ou hermitien?</span></h2>
<p>y'a pb: C'est déf. à val. ds R mais conjug. complexe plus loin.</p>
<ul>
<li>scalaire => e.v. réel.</li>
<li>hermitien => e.v. complexe. <a href="../../../../articles/m/f/h/Utilisateur%7EMFH_d035.html" title="Utilisateur:MFH">MFH</a> 27 mai 2005 à 23:48 (CEST)</li>
</ul>
<dl>
<dd>Effectivement, le produit scalaire ne peut être défini que sur un espace vectoriel réel, ce qu'il faudrait préciser, et distinguer le produit hermitien.</dd>
<dd>On peut ajouter qu'un tel espace est alors appelé <i>espace préhilbertien</i>, et lorsqu'il est de dimension finie <i>espace euclidien</i>.</dd>
<dd>Tout cela nécessite malheureusement un remaniement assez important de l'article à mon sens et la création d'un nouveau pour le produit hermitien.
<dl>
<dd>Ce n'est pas si simple car dans de nombreux ouvrages le produit hermitien est appelé produit scalaire (petit encyclopédie mathématiques, Didier - Dictionnaire des mathématiques moderne, Chambadal - <a href="http://mapage.noos.fr/p.rocton/PSI/devoirs/dv6enonce.pdf" class="external text" title="http://mapage.noos.fr/p.rocton/PSI/devoirs/dv6enonce.pdf" rel="nofollow">épreuce du concours commun polytechnique 2005</a>, ...<a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> 18 mai 2006 à 15:43 (CEST)</dd>
</dl>
</dd>
</dl>
<p><a name="De_quelle_op.C3.A9ration_s.27agit-il_.3F" id="De_quelle_op.C3.A9ration_s.27agit-il_.3F"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : De quelle opération s'agit-il ?">modifier</a>]</span> <span class="mw-headline">De quelle opération s'agit-il ?</span></h2>
<p>"En géométrie vectorielle, le produit scalaire est une opération algébrique supplémentaire définie dans un espace vectoriel." Bien, ça ne dit pas ce qu'est le PV, ni encore de quelle opération il s'agit.</p>
<p>"Elle permet de retrouver les notions de la géométrie euclidienne traditionnelle : longueurs, angles, ==orthogonalité en dimension deux et trois, mais aussi de les étendre à des espaces vectoriels réels de toute dimension, et parfois aux espaces vectoriels complexes." Bon. ça met l'eau à la bouche. Tout ça à la fois ? mais comment ?</p>
<p>"C'est ainsi qu'une fois qu'on aura muni un espace de polynômes d'un produit scalaire, on pourra parler de distance ou d'angle entre deux polynômes." Je veux bien munir une espace de ce qu'on veut, mais si on me demande de le munir d'un polynome de quelquechose dont j'ignore encore la nature, je ne vais pas aller loin.</p>
<p>"Toutefois, un même espace vectoriel peut être muni d'une multitude de produits scalaires distincts qui aboutiront à des résultats non équivalents d'angles, distances, orthogonalité. Le choix du produit scalaire adapté à un problème, notamment d'analyse fonctionnelle peut être la clef de sa résolution." Oui mais, encore... je veux simplement savoir ce qu'est un produit scalaire (le concept, donc exprimé en français si la notion est bien comprise, ce doit être possible).</p>
<p>"Pour le produit scalaire en géométrie élémentaire voir l'article Géométrie vectorielle" sans commentaire ! (15 avril 2006)</p>
<dl>
<dd>Vous avez raison de faire ce commentaire. La nouvelle version devrait vous convenir davantage. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> 18 mai 2006 à 15:43 (CEST)</dd>
</dl>
<p><a name="Suppression_d.27information" id="Suppression_d.27information"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Suppression d'information">modifier</a>]</span> <span class="mw-headline">Suppression d'information</span></h2>
<p>Un sujet de discussion a lieu sur la page <a href="../../../../articles/e/s/p/Discuter%7EEspace_euclidien_4979.html" title="Discuter:Espace euclidien">discuter:Espace_euclidien</a> au sujet du contenu des articles <a href="../../../../articles/g/%C3%A9/o/G%C3%A9om%C3%A9trie_euclidienne.html" title="Géométrie euclidienne">géométrie euclidienne</a>, <a href="../../../../articles/e/s/p/Espace_euclidien.html" title="Espace euclidien">espace euclidien</a>, et <a href="../../../../articles/p/r/o/Produit_scalaire.html" title="Produit scalaire">produit scalaire</a>. Mon opinion est que la page <a href="../../../../articles/p/r/o/Produit_scalaire.html" title="Produit scalaire">produit scalaire</a> n'a pas à donner les propriétés uniquement valables pour la dimension finie (espacle euclidien espace hermitien). J'ai déjà déplacé ces propriétés dans <a href="../../../../articles/e/s/p/Espace_euclidien.html" title="Espace euclidien">espace euclidien</a> et je souhaite les supprimer dans cet article. Qu'en pensez-vous. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> 23 mai 2006 à 13:59 (CEST)</p>
<dl>
<dd>oui, mais il faut tenir compte du lecteur : pour nous l'architecture générale est claire, mais le lecteur lambda arrivant sur cette page a des chances de chercher en priorité des infos sur le produit scalaire dans le plan usuel. Il faut mettre des liens en conséquence dans les intros pour le guider à la bonne adresse. <a href="../../../../articles/p/e/p/Utilisateur%7EPeps_4ead.html" title="Utilisateur:Peps">Peps</a> 23 mai 2006 à 14:36 (CEST)
<dl>
<dd>Il ne s'agit pas de faire disparaitre les infos sur le produit scalaire dans le plan usuel (je viens de les mettre ce n'est pas pour les supprimer !) mais de faire disparaitre le paragraphe sur la dualité dont les informations ont migré dans espace euclidien. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> 27 mai 2006 à 14:35 (CEST)</dd>
</dl>
</dd>
</dl>
<p><a name="Suppression" id="Suppression"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Suppression">modifier</a>]</span> <span class="mw-headline">Suppression</span></h2>
<p>dans l'historique j'ai supprimé une phrase sur Peano qui se réfère apparemment au produit vectoriel</p>
<dl>
<dd>Il me semble que tu as eu tort : dans <a href="http://www.dma.ens.fr/culturemath/questions/questions.htm" class="external text" title="http://www.dma.ens.fr/culturemath/questions/questions.htm" rel="nofollow">ce site</a> par exemple, on montre comment Peano définit le produit scalaire de U et V comme le produit vectoriel d'un vecteur U avec le vecteur image du vecteur V par rotation d'angle pi/2. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> 19 juin 2007 à 13:04 (CEST)</dd>
</dl>
<p><a name="Refonte_de_l.27article" id="Refonte_de_l.27article"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Refonte de l'article">modifier</a>]</span> <span class="mw-headline">Refonte de l'article</span></h2>
<p>Elle est motivée par trois raisons :</p>
<ul>
<li><b>La logique</b>. Le choix de définir le produit scalaire à l'aide de la géométrie du triangle et non pas par une forme bilinéaire comporte des conséquences. Les propriétés algébriques découlent des théorèmes comme Pythagore ou Al-Kashi. Démontrer Al-Kashi avec les propriétés algébriques devient illogique, car ces dites propriétés se démontrent avec des raisonnement qui nécessitent une démonstrations analogues au résultat que l'on souhaite démontrer. On utilie alors le résultat du théorème pour le démontrer. Il en est de même avec l'expression du produit scalaire en terme de coordonnées. Dans ce contexte, ce n'est plus une définition mais le résultat d'une démonstration.</li>
</ul>
<ul>
<li><b>Eviter les redites</b>. Le produit scalaire est un vaste sujet traité dans de multiple articles comme <a href="../../../../articles/e/s/p/Espace_euclidien.html" title="Espace euclidien">espace euclidien</a>, <a href="../../../../articles/e/s/p/Espace_hermitien.html" title="Espace hermitien">espace hermitien</a>, <a href="../../../../articles/e/s/p/Espace_pr%C3%A9hilbertien.html" title="Espace préhilbertien">espace préhilbertien</a> ou encore <a href="../../../../articles/e/s/p/Espace_de_hilbert.html" class="mw-redirect" title="Espace de hilbert">espace de hilbert</a>. L'objectif est d'éviter les redites et de terminer un article là ou un autre prend le relai.</li>
</ul>
<ul>
<li><b>La cohérence</b>. Enfin, l'objectif est un traitement cohérent dans le sujet traité et dans le niveau nécessaire à sa compréhension. Si, dans le cas général, cet objectif est bien difficile à atteindre, dans le cas particulier du produit scalaire, il existe tellement de choses à dire, qu'il est impossible de tout traiter rigoureusement dans un unique article (à moins d'écrire un monstre de plusieurs dizaines de pages). Comme il existe de multiple articles traitant sous des angles différents le même sujet, autant en profiter. <a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a> (<a href="../../../../articles/j/e/a/Discussion_Utilisateur%7EJean-Luc_W_21d7.html" title="Discussion Utilisateur:Jean-Luc W">d</a>) 13 décembre 2007 à 10:42 (CET)</li>
</ul>
<p><a name="Le_serpent_se_mord-t-il_la_queue_.3F" id="Le_serpent_se_mord-t-il_la_queue_.3F"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Le serpent se mord-t-il la queue ?">modifier</a>]</span> <span class="mw-headline">Le serpent se mord-t-il la queue ?</span></h2>
<p>Je suis d'accord, mais il y a un petit problème: la norme d'un vecteur est définie à partir du produit scalaire, alors que le produit scalaire est défini à partir de la longueur des vecteurs, donc d'une norme. :-) <a href="../../../../articles/y/l/e/Utilisateur%7EYlebru_3a71.html" title="Utilisateur:Ylebru">Ylebru</a> (<a href="../../../../articles/y/l/e/Discussion_Utilisateur%7EYlebru_fc70.html" title="Discussion Utilisateur:Ylebru">d</a>) 26 décembre 2007 à 10:12 (CET)</p>
<dl>
<dd>
<dl>
<dd>L'article manque en effet de clarté. L'espace affine est supposé disposer d'une distance et d'un groupe de rotations. Le produit scalaire est définie à partir de la distance et du groupe de rotations sur l'espace affine, et la norme à partir du produit scalaire. Le produit scalaire n'est donc pas défini à partir d'une norme. Il est en effet nécessaire de le préciser. <a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a> (<a href="../../../../articles/j/e/a/Discussion_Utilisateur%7EJean-Luc_W_21d7.html" title="Discussion Utilisateur:Jean-Luc W">d</a>) 31 décembre 2007 à 09:33 (CET)
<dl>
<dd>Aujourd'hui où en est-on?, l'article est-il encore à réorganiser~, et selon quelles orientations prioritaires?<a href="../../../../articles/m/i/c/Utilisateur%7EMichelbailly_1410.html" title="Utilisateur:Michelbailly">Michelbailly</a> (<a href="../../../../articles/m/i/c/Discussion_Utilisateur%7EMichelbailly_c554.html" title="Discussion Utilisateur:Michelbailly">d</a>) 28 janvier 2008 à 13:51 (CET)</dd>
</dl>
</dd>
</dl>
</dd>
</dl>
<dl>
<dd>Le produit scalaire est défini de manière purement géométrique dans un premier temps et le serpent ne se mord pas la queue. Il manque encore une introduction à l'utilisation du terme <i>produit scalaire</i> dans un Banach. Dans l'ensemble, je pense qu'il s'approche d'un premier point stable. A moins qu'un spécialiste de la géométrie affine ne remarque d'autres améliorations ... <a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a> (<a href="../../../../articles/j/e/a/Discussion_Utilisateur%7EJean-Luc_W_21d7.html" title="Discussion Utilisateur:Jean-Luc W">d</a>) 28 janvier 2008 à 14:37 (CET)</dd>
</dl>
<p><a name="Une_analyse_critique" id="Une_analyse_critique"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Une analyse critique">modifier</a>]</span> <span class="mw-headline">Une analyse critique</span></h2>
<p>J'étais plutôt favorable à l'ancienne mouture <a href="http://fr.wikipedia.org/w/index.php?title=Produit_scalaire&oldid=23786028" class="external autonumber" title="http://fr.wikipedia.org/w/index.php?title=Produit_scalaire&oldid=23786028" rel="nofollow">[1]</a> et je sais, pour l' avoir pratiqué, que l'on ne créé pas de cercle vicieux en retrouvant Al-Kashi à l'aide du produit scalaire, les propriétés algébriques découlant des propriétés du projeté orthogonal. D'autre part, l'écriture dans toute base orthonormé découle de l'écriture 2AB.AC=AB²+AC²-BC² indépendemment d'autres considérations. Enfin, j'étais en wikibreak quand ceci a été fait donc je n'ai rien à dire....Mais, j'avais promis à Jean-Luc de préciser mon opinion quant à cette nouvelle mouture.</p>
<p>L'objectif en est précisé dans l'introduction mais échappe en première lecture : construire une définition géométrique du produit scalaire.</p>
<p><a name="Espace_de_travail" id="Espace_de_travail"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Espace de travail">modifier</a>]</span> <span class="mw-headline">Espace de travail</span></h3>
<p>L'objectif est donc de se placer dans un espace euclidien dans le sens élémentaire: ensemble de points, plan ou espace muni d'une distance, dans lequel on sait mesurer des angles et calculer un cosinus. géométrie du plan et de l'espace classique. Cette précision est à mon avis à mettre en évidence en introduction dans Définition et première propriété et doit remplacer la phrase trop imprécise "Le produit scalaire est défini sur les vecteurs d'un espace affine"</p>
<p><a name="Orientation_et_rotation" id="Orientation_et_rotation"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Orientation et rotation">modifier</a>]</span> <span class="mw-headline">Orientation et rotation</span></h3>
<p>il me semble que l'on peut définir les angles géométriques sans avoir besoin de définir les rotations (angle orientés) donc les considération sur l'orientation de l'espace est inutile: l'angle géométrique est toujours compris entre 0 et pi. Je sais que cette notion d'angle est une faille du système d'Euclide mais je ne coris pas que cet article soit le lieu pour évoquer le pb : on part de l'a-priori intuitif : "on sait mesurer des angles" et on sait aussi calculer le cosinus d'un angle aigu (triangle rectangle) et obtus</p>
<p><a name="Doit-on_d.C3.A9border_sur_la_norme_.3F" id="Doit-on_d.C3.A9border_sur_la_norme_.3F"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Doit-on déborder sur la norme ?">modifier</a>]</span> <span class="mw-headline">Doit-on déborder sur la norme ?</span></h3>
<p>Etant donné que la distance est un acquis, la norme d'un vecteur est connue comme la distance AB (pourquoi noter la distance |AB| au lieu de AB ?) si <img class="tex" alt="\overrightarrow{AB}" src="../../../../math/e/1/3/e1312f3b1244e4ae6e1a3a428e537a37.png" /> est un représentant du vecteur. Elle est connue avant que ne soit défini le produit scalaire. On peut juste remarquer que son carré correspond au produit scalaire du vecteur par lui-même. Du coup, l'inégalité triangulaire ne me parait pas avoir sa place dans les propriétés.</p>
<p>De même le théorème de Pythagore est un outil connu qui ne se déduit en rien de cette définition du produit scalaire</p>
<p><a name="In.C3.A9galit.C3.A9_de_Cauchy-Schwartz" id="In.C3.A9galit.C3.A9_de_Cauchy-Schwartz"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Inégalité de Cauchy-Schwartz">modifier</a>]</span> <span class="mw-headline">Inégalité de Cauchy-Schwartz</span></h3>
<p>elle ne me parait pas la première des propriétés mais je ne vois pas où la glisser....</p>
<p><a name="Propri.C3.A9t.C3.A9_g.C3.A9om.C3.A9trique" id="Propri.C3.A9t.C3.A9_g.C3.A9om.C3.A9trique"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Propriété géométrique">modifier</a>]</span> <span class="mw-headline">Propriété géométrique</span></h3>
<p>avec le nettoyage drastique que je propose, il ne reste que trois propriétes géométriques du produit scalaire qui sont d'ailleurs trois autres manières géométriques de le définir (par projection, par calcul de distance, par calcul d'aire). J'y mettrais bien aussi les caractérisation de colinéarité et d'orthogonalité qui sont, il me semble, une des utilisations du produit scalaire.</p>
<p><a name="Propri.C3.A9t.C3.A9_alg.C3.A9brique" id="Propri.C3.A9t.C3.A9_alg.C3.A9brique"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Propriété algébrique">modifier</a>]</span> <span class="mw-headline">Propriété algébrique</span></h3>
<p>Avant de commencer, signaler que son nom de produit scalaire semble dire qu'il s'agit d'une "opération" qui a deux vecteurs associe... un scalaire. Le fait de l'appeler produit sous-entend que ce "produit" possède des propriétés que l'on est en droit d'attendre d'un produit Symétrie, bilinéarité (à rapprocher de la distributivité et de l'associativité avec prudence). Dans définie positive, il y a mélange entre la définition et la propriété ==> à séparer</p>
<p>Dans Bilan : il me parait important de signaler que ces propriétés découvertes avec cette construction du produit scalaire deviennent LA définition du produit scalaire dans un espace vectoriel. Il me semble que ce résultat doit apparaitre de manière nette avec encadrement et tutti quanti</p>
<p><a name="Expresson_analytique" id="Expresson_analytique"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Expresson analytique">modifier</a>]</span> <span class="mw-headline">Expresson analytique</span></h3>
<p>le niveau de la section est ambigu : on a quitté l'aspect géométrique pour aborder un niveau post bac : matrice symétrique, changement de base (mais alors pourquoi se limiter à la dimension 3 ?)</p>
<p><a name="Structures_induites" id="Structures_induites"></a></p>
<h3><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Structures induites">modifier</a>]</span> <span class="mw-headline">Structures induites</span></h3>
<p>Je suis toujours gênée de voir dans les structures induites des structures qui ne correspondent pas à la définition du produit scalaire donnée dans l'article. Je préfèrerais structures induites ou dérivées. Je remettrais bien ici, la définition du produit scalaire dans un espace vectoriel quelconque sur R avec les choses qui en découlent : norme et angle, puis la définition du produit scalaire sur un espace sur C (produit scalaire hermitien). Ensuite seulement j'aurais parlé des espace euclidien et hermitien en mettant en évidence le caractère de dimension finie de l'espace euclidien et ne laisserais pas des phrases comme "Un espace euclidien est un espace, généralement défini de manière axiomatique et comportant un produit scalaire. " même si la précision vient postérieurement. puis ensuite les espace de Hilbert.</p>
<p>j'ai conscience que mon analyse est assez critique et tend à rapprocher l'article de l'ancienne version <a href="http://fr.wikipedia.org/w/index.php?title=Produit_scalaire&oldid=23786028" class="external autonumber" title="http://fr.wikipedia.org/w/index.php?title=Produit_scalaire&oldid=23786028" rel="nofollow">[2]</a> donc je préférerais que Jean-Luc voit comment tenir compte de mes remarques ou me donne un blanc seing pour une contre-proposition. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> (<a href="../../../../articles/h/b/_/Discussion_Utilisateur%7EHB_b58b.html" title="Discussion Utilisateur:HB">d</a>) 28 janvier 2008 à 19:35 (CET)</p>
<p><a name="R.C3.A9ponse_de_jl" id="R.C3.A9ponse_de_jl"></a></p>
<h4><span class="editsection">[<a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html" title="Modifier la section : Réponse de jl">modifier</a>]</span> <span class="mw-headline">Réponse de jl</span></h4>
<p>Chère HB,</p>
<ol>
<li>Je ne me souviens pas d'intervention de ta part telle que le résultat me semblait moins bon après qu'avant. Tu as donc, si c'était nécessaire tous les blancs seings du monde ainsi que le mien pour agir.</li>
<li>L'objectif est d'écrire un article aussi accessible à un niveau correspondant au secondaire ou à une utilisation proche de celle des physiciens. Enrichir l'article ne me semble pas contradictoire avec cet objectif. Comme tu connais mieux ce public que moi, je suis très confiant.</li>
<li>Pour le savoir un plus avancé, j'ai enrichi les articles <a href="../../../../articles/e/s/p/Espace_euclidien.html" title="Espace euclidien">espace euclidien</a>, <a href="../../../../articles/e/s/p/Espace_hermitien.html" title="Espace hermitien">espace hermitien</a> et pour la version complète <a href="../../../../articles/f/o/r/Forme_bilin%C3%A9aire.html" title="Forme bilinéaire">forme bilinéaire</a> et <a href="../../../../articles/o/r/t/Orthogonalit%C3%A9.html" title="Orthogonalité">orthogonalité</a> (en cours de travail).</li>
<li>Il manquera encore le dernier produit scalaire (je travaille sur les autres articles pour en préparer l'insertion dans cet article). Il correspond au Banach. Si <i>E</i> est un Banach, on représente souvent une partie du dual par une isométrie (en général non surjective) d'un espace <i>F</i> dans le dual de <i>E</i>, en général par une forme intégrale. On obtient ce qui est encore appelé un <i>produit scalaire</i> sur <i>F</i>x<i>E</i> qui permet par exemple de développer la théorie spectrale (c'est une des techniques principales de détermination et d'analyse des propriétés du spectre dans le cas général). C'est une forme bilinéaire dont les noyaux à droite et à gauche sont réduit au vecteur nul. Je ne sais pas encore comment l'introduire simplement dans cet article.</li>
</ol>
<p>Je crois que, pour cet article, j'ai donné le meilleur de moi-même. Pour l'instant, je me sens un peu bloqué. Il est temps que d'autres talents l'enrichissent.<a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a> (<a href="../../../../articles/j/e/a/Discussion_Utilisateur%7EJean-Luc_W_21d7.html" title="Discussion Utilisateur:Jean-Luc W">d</a>) 28 janvier 2008 à 19:53 (CET)</p>
<dl>
<dd>Bon, je sais que tu es aussi pris par l'article sur vecteur. Je tente cette nouvelle proposition. J'ai supprimé Pythagore et l'inégalité triangulaire car elles me paraissent des propriétés métriques antérieures au produit scalaire (s'il est défini géométriquement) et j'ai développé la définition d'un produit scalaire dans un ev quelconque en déplaçant les remarques initialement placée dans "bilan" dans une section dédiée de "structures induites et dérivées" (en reprenant une version ancienne). Pour le reste c'est plutôt un peu de toilettage. Ce n'est qu'un proposition éventuellement modifiable bien entendu. <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a> (<a href="../../../../articles/h/b/_/Discussion_Utilisateur%7EHB_b58b.html" title="Discussion Utilisateur:HB">d</a>) 4 février 2008 à 12:10 (CET)</dd>
</dl>
<p>Pythagore et l'inégalité triangulaire dérive assurément des propriétés métriques. A mes yeux cela ne supprime pas la pertinence de ces propriétés vis à vis produit scalaire. L'existence du procédé d'orthogonalisation de Schmidt dérive des formes bilinéaires et non du produit scalaire dans un espace séparable, comme les propriétés caractères pour les représentations des groupes dérivent directement de l'algèbre linéaire et des traces. Cela m'empêche pas d'indiquer ces propriétés sur les espaces euclidiens ou en théorie des représentations. Je pense qu'une propriété doit être citée si elle est pertinente dans le contexte même si elle découle d'une axiomatique plus générale. Maintenant, c'est plutôt toi qui connaît le public de cet article. Si tu penses que cette propriété est plus susceptible de confusion que d'un véritable apport, je m'incline de bonne grâce.</p>
<p>Je suis dans une période où je ne suis pas très partisan des répétitions des définitions. Voilà pourquoi je n'ai pas répété celle du produit scalaire. Je reconnais néanmoins que chercher la définition complète devient bien malcommode à l'heure actuelle (tu cherches dans <a href="../../../../articles/e/s/p/Espace_euclidien.html" title="Espace euclidien">espace euclidien</a> puis dans <a href="../../../../articles/f/o/r/Forme_bilin%C3%A9aire.html" title="Forme bilinéaire">forme bilinéaire</a> puis dans <a href="../../../../articles/b/i/l/Bilin%C3%A9aire.html" title="Bilinéaire">bilinéaire</a> puis dans ...). Si on faisait un vote, j'imagine que la grande majorité te donnerait raison (sur ce coup là je pense que je voterais contre ma mode passagère d'ailleurs, pourquoi serai-je cohérent ?). <a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a> (<a href="../../../../articles/j/e/a/Discussion_Utilisateur%7EJean-Luc_W_21d7.html" title="Discussion Utilisateur:Jean-Luc W">d</a>) 5 février 2008 à 12:22 (CET)</p>
<!--
NewPP limit report
Preprocessor node count: 97/1000000
Post-expand include size: 2515/2048000 bytes
Template argument size: 32/2048000 bytes
Expensive parser function count: 0/500
-->
<div class="printfooter">
</div>
<div id="catlinks"><div id='catlinks' class='catlinks'><div id="mw-normal-catlinks"><a href="../../../../articles/a/c/c/Cat%C3%A9gorie%7EAccueil_1aae.html" title="Catégorie:Accueil">Catégories</a> : <span dir='ltr'><a href="../../../../articles/a/r/t/Cat%C3%A9gorie%7EArticle_de_math%C3%A9matiques_d%27avancement_B_d526.html" title="Catégorie:Article de mathématiques d'avancement B">Article de mathématiques d'avancement B</a></span> | <span dir='ltr'><a href="../../../../articles/a/r/t/Cat%C3%A9gorie%7EArticle_de_math%C3%A9matiques_d%27importance_maximum_861b.html" title="Catégorie:Article de mathématiques d'importance maximum">Article de mathématiques d'importance maximum</a></span></div></div></div> <!-- end content -->
<div class="visualClear"></div>
</div>
</div>
</div>
<div id="column-one">
<div id="p-cactions" class="portlet">
<h5>Views</h5>
<ul>
<li id="ca-nstab-main"
><a href="../../../../articles/p/r/o/Produit_scalaire.html">Article</a></li><li id="ca-talk"
class="selected" ><a href="../../../../articles/p/r/o/Discuter%7EProduit_scalaire_c601.html">Discussion</a></li><li id="ca-current"
><a href="http://fr.wikipedia.org/wiki/Discuter:Produit_scalaire">Version actuelle</a></li> </ul>
</div>
<div class="portlet" id="p-logo">
<a style="background-image: url(../../../../misc/Wiki.png);"
href="../../../../index.html"
title="Accueil"></a>
</div>
<script type="text/javascript"> if (window.isMSIE55) fixalpha(); </script>
<div class='portlet' id='p-navigation'>
<h5>Navigation</h5>
<div class='pBody'>
<ul>
<li id="n-mainpage"><a href="../../../../index.html">Accueil</a></li>
<li id="n-thema"><a href="../../../../articles/a/c/c/Portail%7EAccueil_bcc9.html">Portails thématiques</a></li>
<li id="n-alphindex"><a href="../../../../articles/t/o/u/Special%7EToutes_les_pages_fabc.html">Index alphabétique</a></li>
<li id="n-randompage"><a href="../../../../articles/p/a/g/Special%7EPage_au_hasard_9c81.html">Un article au hasard</a></li>
<li id="n-contact"><a href="../../../../articles/c/o/n/Wikip%C3%A9dia%7EContact_929e.html">Contacter Wikipédia</a></li>
</ul>
</div>
</div>
<div class='portlet' id='p-Contribuer'>
<h5>Contribuer</h5>
<div class='pBody'>
<ul>
<li id="n-help"><a href="../../../../articles/s/o/m/Aide%7ESommaire_c9f0.html">Aide</a></li>
<li id="n-portal"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_5272.html">Communauté</a></li>
<li id="n-recentchanges"><a href="../../../../articles/m/o/d/Special%7EModifications_r%C3%A9centes_b222.html">Modifications récentes</a></li>
<li id="n-aboutwp"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_des_nouveaux_arrivants_0784.html">Accueil des nouveaux arrivants</a></li>
<li id="n-sitesupport"><a href="http://meta.wikimedia.org/wiki/Faire_un_don:_explication">Faire un don</a></li>
</ul>
</div>
</div>
<div id="p-search" class="portlet">
<h5><label for="searchInput">Rechercher</label></h5>
<div id="searchBody" class="pBody">
<form action="javascript:goToStatic(3)" id="searchform"><div>
<input id="searchInput" name="search" type="text"
accesskey="C" value="" />
<input type='submit' name="go" class="searchButton" id="searchGoButton"
value="Aller" />
</div></form>
</div>
</div>
</div><!-- end of the left (by default at least) column -->
<div class="visualClear"></div>
<div id="footer">
<div id="f-poweredbyico"><a href="http://www.mediawiki.org/"><img src="../../../../skins/common/images/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" /></a></div> <div id="f-copyrightico"><a href="http://wikimediafoundation.org/"><img src="../../../../misc/wikimedia-button.png" border="0" alt="Wikimedia Foundation"/></a></div> <ul id="f-list">
<li id="f-credits">Cette page a été modifiée pour la dernière fois le 5 février 2008 à 13:22 par Utilisateur <a href="../../../../articles/j/e/a/Utilisateur%7EJean-Luc_W_9f53.html" title="Utilisateur:Jean-Luc W">Jean-Luc W</a>. Basé sur le travail de Utilisateur(s) <a href="../../../../articles/h/b/_/Utilisateur%7EHB_a700.html" title="Utilisateur:HB">HB</a>, <a href="../../../../articles/m/i/c/Utilisateur%7EMichelbailly_1410.html" title="Utilisateur:Michelbailly">Michelbailly</a>, <a href="../../../../articles/y/l/e/Utilisateur%7EYlebru_3a71.html" title="Utilisateur:Ylebru">Ylebru</a>, <a href="../../../../articles/p/e/p/Utilisateur%7EPeps_4ead.html" title="Utilisateur:Peps">Peps</a> et <a href="../../../../articles/m/f/h/Utilisateur%7EMFH_d035.html" title="Utilisateur:MFH">MFH</a> et Utilisateur(s) non enregistré(s) de Wikipédia.</li> <li id="f-copyright"><span style="white-space:normal"><a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Droit_d'auteur" title="Droit d'auteur">Droit d'auteur</a> : Tous les textes sont disponibles sous les termes de la <a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Licence_de_documentation_libre_GNU" title="GFDL">licence de documentation libre GNU</a> (GFDL).<br/>
Wikipedia® est une marque déposée de la <a href="http://wikimediafoundation.org/wiki/Accueil" title="Wikimedia Foundation">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a class="internal" href="http://en.wikipedia.org/wiki/501(c)" title="501(c)">501(c)(3)</a> du code fiscal des États-Unis.</span><br/></li> <li id="f-about"><a href="../../../../articles/%C3%A0/_/p/Wikip%C3%A9dia%7E%C3%80_propos_5de1.html" title="Wikipédia:À propos">À propos de Wikipédia</a></li> <li id="f-disclaimer"><a href="../../../../articles/a/v/e/Wikip%C3%A9dia%7EAvertissements_g%C3%A9n%C3%A9raux_fef1.html" title="Wikipédia:Avertissements généraux">Avertissements</a></li> </ul>
</div>
</div>
</body>
</html>