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

          What does it mean to find percent difference when two values are equivalent? The 2019 Stack Overflow Developer Survey Results Are InWhat does “percent of change” mean?Find what percent X is between two numbers?Unable to determine 'original amount' in simple percentage problemsWhat is the correct percent difference formula?How does proportionality hold when quantities are high? And the percentage increase formulaprofit and loss GRE questionProfitability calculationWhat is the difference between $xtimes 0.8$ and $x div 1.2 ? $Finding the percent probability of completing BUDs trainingCalculating Percent Difference with zero and near zero values

          Why did some early computer designers eschew integers?What register size did early computers use?What other computers used this floating-point format?Why did so many early microcomputers use the MOS 6502 and variants?Why were early computers named “Mark”?Why did expert systems fall?Why were early personal computer monitors not green?When did “Zen” in computer programming become a thing?History of advanced hardwareWere there any working computers using residue number systems?Why did some CPUs use two Read/Write lines, and others just one?

          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$