Variants of The Polarization Identity The 2019 Stack Overflow Developer Survey Results Are InProving $sumlimits_i=1^k | langle x,v_i rangle langle y,v_irangle| leq |x|cdot |y|$How to motivate the axioms for the inner productNorms on inner product space over $mathbbR$Showing inner product comes from a norm defined using Polarization IdentityInner product identityGeneralization of Cauchy-Schwarz to positive operatorsVector inequality $(langle Ax,y rangle^2) le (langle Ax,xrangle * langle Ay,yrangle)$Very general inner product determinant inequalityProve: $|langle u,v rangle|= |u|cdot |v|iff u=alpha v$Does Cauchy-Schwarz hold for: $ langletextbfu,textbfvrangle ;leq ||textbfu|| cdot ||textbfv|| $

What is the motivation for a law requiring 2 parties to consent for recording a conversation

Why hard-Brexiteers don't insist on a hard border to prevent illegal immigration after Brexit?

Am I thawing this London Broil safely?

Deal with toxic manager when you can't quit

If a Druid sees an animal’s corpse, can they wild shape into that animal?

Does the shape of a die affect the probability of a number being rolled?

Lightning Grid - Columns and Rows?

Can someone be penalized for an "unlawful" act if no penalty is specified?

What does Linus Torvalds mean when he says that Git "never ever" tracks a file?

What did it mean to "align" a radio?

Is bread bad for ducks?

Earliest use of the term "Galois extension"?

Can a flute soloist sit?

Is there any way to tell whether the shot is going to hit you or not?

Does a dangling wire really electrocute me if I'm standing in water?

Worn-tile Scrabble

Write faster on AT24C32

Multiply Two Integer Polynomials

What is the meaning of the verb "bear" in this context?

How to deal with fear of taking dependencies

How to answer pointed "are you quitting" questioning when I don't want them to suspect

Origin of "cooter" meaning "vagina"

"as much details as you can remember"

Why didn't the Event Horizon Telescope team mention Sagittarius A*?



Variants of The Polarization Identity



The 2019 Stack Overflow Developer Survey Results Are InProving $sumlimits_i=1^k | langle x,v_i rangle langle y,v_irangle| leq |x|cdot |y|$How to motivate the axioms for the inner productNorms on inner product space over $mathbbR$Showing inner product comes from a norm defined using Polarization IdentityInner product identityGeneralization of Cauchy-Schwarz to positive operatorsVector inequality $(langle Ax,y rangle^2) le (langle Ax,xrangle * langle Ay,yrangle)$Very general inner product determinant inequalityProve: $|langle u,v rangle|= |u|cdot |v|iff u=alpha v$Does Cauchy-Schwarz hold for: $ langletextbfu,textbfvrangle ;leq ||textbfu|| cdot ||textbfv|| $










1












$begingroup$


A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
$$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










share|cite|improve this question











$endgroup$
















    1












    $begingroup$


    A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



    Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
    $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



    I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










    share|cite|improve this question











    $endgroup$














      1












      1








      1





      $begingroup$


      A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



      Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
      $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



      I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










      share|cite|improve this question











      $endgroup$




      A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



      Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
      $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



      I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?







      norm inner-product-space






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Apr 6 at 22:20







      Kezer

















      asked Apr 6 at 9:05









      KezerKezer

      1,405621




      1,405621




















          0






          active

          oldest

          votes












          Your Answer





          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "69"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3176787%2fvariants-of-the-polarization-identity%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















          draft saved

          draft discarded
















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3176787%2fvariants-of-the-polarization-identity%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          A recreational problem The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manaraprime factors of numbers formed by primorialsAll the small primes close together yet againSimple quadratic, crazy question part 2Can every odd prime $pne 11$ be the smallest prime factor of a carmichael-number with $3$ prime factors?Is the product of consecutive primes in $(a, b)[n]$ $=$ $1$ $pmod ab$?Pythagorean triples that “survive” Euler's totient functionA question about a certain type of primesPrimes of the form $p^2+p+41$

          369. pr. Kr. Događaji Rođenja Smrti

          A weird inequality regarding integrals, limits, as well as sequence of functions. The 2019 Stack Overflow Developer Survey Results Are InA question regarding limits and integrable functionsChanging the order of $lim$ and $inf$ for point-wise converging monotonic sequence of functionsSequence of Distribution FunctionsBasic question on interchanging limits and integralsA sequence of functions $f_n$ that converges non-uniformly to $f$ but the limit of the integrals equals the integral of the limits?Is this (exotic) integral well defined and convergent (always)? and the bound correct?Sequence of differentiable,equicontinuous functionsProb. 10 (d), Chap. 6, in Baby Rudin: Holder Inequality for Improper Integrals With Infinite LimitsSuppose $f_n : [0,1]rightarrowmathbbR$ is a sequence of $C^1$ functions that converges pointwise to $f$.Suppose $f$ is a continuous function on $[a,b]$ and let $M=sup_ a leq x leq b |f(x)|$