Differenzierbare Funktion/Steigungsabschätzung über Cauchy Schwarz/Gradient/Fakt

Es sei ein euklidischer Vektorraum, sei offen und sei

eine in differenzierbare Funktion. Dann gelten folgende Aussagen.

  1. Für jeden Vektor ist
  2. Dabei gilt Gleichheit genau dann, wenn linear abhängig zum Gradienten ist.
  3. Sei . Unter allen Vektoren  mit ist die Richtungsableitung in Richtung des normierten Gradienten maximal, und zwar gleich der Norm des Gradienten.