Proof that the derivative gives the directional derivatives
Builds on Differentiable function of several variablesHaving a directional derivativeOpen setOpen ball
Proof
We put in the definition of the derivative.
- Let , and be as in the statement, let , and let .
- If , then for each . So the limit is . From now on, suppose that .
- Since is open, there is such that the open ball lies in . So when .
- Let . Since is differentiable at , there is with . This holds for with .
- Let and put . Then by step 3, and .
- Since is linear, . So by step 4,
- As was arbitrary, the difference quotient tends to as .
- So has the directional derivative at in the direction .
Idea
Moving along the line is a special way of letting tend to . The derivative controls the error for all small , so in particular for . Dividing by turns the linear term into the constant .
Reading path
To understand this page from the ground up, read these 33 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Euclidean space object
- Function concept
- Proposition concept
- Real numbers object
- Set definition
- Having a directional derivative definition
- Function of several variables concept
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Limit of a function of several variables concept
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Differentiable function of several variables definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Open ball definition
- Metric topology definition
- Open set definition
- Proof that the derivative gives the directional derivatives proof
Where this leads
393 pages build on this one.
- Exterior derivative
- Change of variables in multiple integrals
- Arc length parametrisation
- Volume of a ball in R^n
- Additivity of line integrals under concatenation
- Function with unequal mixed partial derivatives
- Symmetry of second derivatives
- Divergence
- The real part of a holomorphic function is harmonic
- Chain rule for Jacobian matrices
- Open mapping theorem
- Maximum modulus principle
- Lagrange multiplier with one constraint
- Parametrised surface
- Poincaré lemma for one-forms on convex sets
- Conservative vector field
- Laplacian as a sum of second partial derivatives
- Jacobian of spherical coordinates
- Regular curve
- Simply connected domain
- Area of a region as a line integral
- Derivative gives the directional derivatives
- Stokes' theorem
- Curl-free vector field on a convex set is conservative
- Path independence of line integrals
- Tangent plane and normal vector of a surface
- Implicit function theorem
- Rectifiable curve
- Harmonic conjugate
- Closed curve
- Tangent vector of a curve
- Surface integral
- Orientable surface
- Closed and exact forms
- Divergence of a curl is zero
- Scalar potential
- Reversing a path changes the sign of a line integral
- Cylindrical coordinates
- Curl
- Curl-free field that is not conservative
- Second derivative test in several variables
- Divergence theorem on a rectangle in the plane
- Generalised Stokes theorem
- Green's theorem
- Mean value property
- Taylor's theorem in several variables
- Vector calculus identities
- Parametrised curve
- Divergence theorem
- Inverse function theorem
- Curl of a gradient is zero
- Line integral of a scalar field
- Schwarz lemma
- One-form
- Vector field
- Implicit function theorem for a surjective derivative
- Schwarz's theorem for C^2 functions
- Second-order Taylor expansion
- Differential form
- Implicit differentiation
- Polar coordinates
- Spherical coordinates
- Wedge product of forms
- Gradient theorem
- C^1 functions are strictly differentiable
- Integration in polar coordinates
- C^k function characterised by continuous derivatives
- Lagrange multipliers
- Line integral as an integral over the parameter interval
- Harmonic function
- Volume of a ball in R^3
- Surface area
- The exterior derivative squares to zero
- Laplacian
- Flux through a surface
- Line integral of a vector field
- Homotopy invariance of line integrals of closed forms
- Diffeomorphism
- Local homeomorphism from the inverse function theorem
- Gradient points in the direction of steepest ascent
- Morse–Smale system
- Geodesic curvature
- Emden–Chandrasekhar equation
- Proof of the Lagrange multiplier rule with one constraint
- Lorentz reciprocal theorem for Stokes flow
- Shell theorem
- Proof that a curl-free vector field on a convex set is conservative
- Holomorphic inverse function theorem
- Newton's law of universal gravitation
- Proof of the area of a region as a line integral
- Phragmén–Lindelöf principle for subharmonic functions
- Gauss's law for magnetism
- Proof of the implicit function theorem for a surjective derivative
- Carleman estimate for harmonic measure
- Proof of the homotopy invariance of line integrals of curl-free fields by local potentials
- Cauchy–Pompeiu formula
- Proof of the implicit function theorem from the inverse function theorem
- Alfvén's frozen-in flux theorem
- Reynolds transport theorem
- Proof of the mean value property via a holomorphic function with real part u
- Cheng–Yau gradient estimate
- Removable singularities for harmonic functions
- Minimum principle for harmonic functions
- Method of image charges
- Lyusternik's theorem on tangent spaces
- Bridgman's thermodynamic equations
- Displacement current
- Markov partition
- Augmented Lagrangian method
- Chandrasekhar's white dwarf equation
- Surface equivalence principle
- Hardy's uncertainty principle
- Canonical coordinates
- Jensen's formula
- Dedekind ellipsoid
- Hydrostatic equilibrium
- Maxwell stress tensor
- Tidal force
- Affine differential geometry
- Monodromy theorem
- Proof that the gradient points in the direction of steepest ascent
- Proof of the Schwarz lemma by the maximum modulus principle
- Proof of the Laplacian as a sum of second partial derivatives
- Force-free magnetic field
- Potential energy
- Stein interpolation theorem
- Kobayashi metric
- Choquet-Bruhat–Geroch theorem on maximal developments
- Clapeyron's theorem
- Magnetic braking
- Proof of the Lagrange multiplier theorem by the implicit function theorem
- Isoperimetric problem of the calculus of variations
- Harmonic majorant
- Spectral decomposition theorem
- Black hole stability problem
- Virial theorem
- Tests of general relativity
- Milankovitch cycles
- Stellar structure
- Modified Newtonian dynamics
- Kelvin–Helmholtz mechanism
- Hohmann transfer orbit
- Local potential for a planar field with equal mixed partials
- Proof of the gradient theorem
- Proof of the divergence theorem on a rectangle in the plane
- Log-modulus of a holomorphic function is subharmonic
- Central configuration
- Circulation
- Electromagnetic radiation
- Schwarzschild criterion for convection
- Box–Muller transform
- Proof of the second-order Taylor expansion
- Virial mass
- von Zeipel theorem
- Catenary problem
- Shape operator
- Jacobi integral
- Maximum modulus principle in several variables
- Weyl's lemma
- Galaxy rotation curve
- Celestial mechanics
- Marshallian demand function
- Weak gravitational lensing
- Brelot space
- Kepler's equation
- Proof that reversing a path changes the sign of a line integral
- Proof that a C^1 map with invertible derivative is a local homeomorphism and an open map
- Nash–Moser theorem
- Poisson–Jensen formula
- Bi-elliptic transfer
- Utility maximization problem
- Second fundamental form
- Mass–luminosity relation
- Fresnel equations
- Magnetic monopole
- Accretion disk
- Conservation of energy
- Smoothness and analyticity of harmonic functions
- Proof of the path independence of line integrals
- Fáry–Milnor theorem
- Symplectic manifold
- ADM formalism
- Einstein–Infeld–Hoffmann equations
- Proof of Stokes' theorem by pulling back to Green's theorem
- Implicit function theorem in Banach spaces
- First fundamental form
- Sub-mean value property
- Lens equation
- Strong cosmic censorship conjecture
- Proof of the open mapping theorem by the maximum modulus principle
- Dipole model of the Earth's magnetic field
- Euler's elastica
- Lyapunov–Schmidt reduction
- Uniqueness theorem for Poisson's equation
- Kakutani's solution of the Dirichlet problem
- Weak cosmic censorship conjecture
- Numerical continuation
- Converse of the mean value property
- Smoothness classes
- Two-body problem
- Total internal reflection
- Ledoux criterion
- Orbital mechanics
- Bonnor–Ebert mass
- Proof of the parametric formula for line integrals
- Tolman–Oppenheimer–Volkoff limit
- Ehrenfest equations
- Post-Newtonian expansion
- Earnshaw's theorem
- Conformal radius
- Regular surface
- Betti's reciprocal theorem
- Closing lemma
- Adams–Williamson equation
- Sequential quadratic programming
- Richards equation
- Charge conservation
- Harmonic measure
- Total curvature
- Anosov flow
- Tisserand's parameter
- Superharmonic potential
- Polytrope
- Interface conditions for electromagnetic fields
- Fenchel's theorem
- Gravitational microlensing
- Borel–Carathéodory theorem
- Dido's problem
- Continuity equation
- Differential-algebraic system of equations
- Hayashi track
- Hermitian manifold
- Stellar pulsation
- Euler's three-body problem
- Phragmén–Lindelöf principle
- Smale's problems on dynamics
- Conservation of angular momentum
- Thermodynamic square
- Parker solar wind model
- Backus–Gilbert method
- Envelope
- Proof that C^1 functions are strictly differentiable
- Ampère's circuital law
- Topological quantum field theory
- Escape velocity
- Smooth dynamical system
- Double layer potential
- Muskingum routing method
- Involute
- Chandrasekhar limit
- Eleven-dimensional supergravity
- Proof of Schwarz's theorem for C^2 functions by the mean value theorem
- Tidal acceleration
- Gravitational deflection of light
- Maclaurin spheroid
- Conformal modulus
- Jacobi integral
- Catenary
- Koebe's theorem on the mean value property
- Regular value theorem
- Area-minimizing current
- Kepler's laws of planetary motion
- Inverse function theorem in Banach spaces
- Curvature of a curve
- Proof of the inverse function theorem by the contraction mapping principle
- Incompressible flow
- Maxwell relations
- Dynamical friction
- Mixing length theory
- Kepler's equation
- Compactness of families of harmonic functions
- Torsion of a curve
- Gradient estimates for harmonic functions
- Kepler orbit
- Frank-Kamenetskii theory of thermal explosion
- Earth's magnetic field
- Neumann formula for mutual inductance
- Electric displacement field
- Configuration space
- Carathéodory metric
- Hyperbolic set
- Harnack's principle
- Hill sphere
- Poisson integral formula
- Gauss's spherical harmonic analysis of the geomagnetic field
- Spherical astronomy
- Littlewood subordination theorem
- Lagrange multipliers for constraints
- Roche limit
- Castigliano's method
- Gelfand–Bratu problem
- Proof of Taylor's theorem in several variables by restriction to a line
- Lagrange multipliers on Banach spaces
- Proof of the volume of a ball in R^3 from the n-dimensional formula
- Somigliana identity
- Magnetic helicity
- Mechanical similarity
- Green's identities
- Least harmonic majorant
- Schönberg–Chandrasekhar limit
- Magnetotellurics
- First main theorem of Nevanlinna theory
- Liouville's theorem for harmonic functions
- Proof of the additivity of line integrals under concatenation
- Geopotential
- N-body simulation
- Celestial mechanics
- Vogt–Russell theorem
- Eddington luminosity
- Whitney extension theorem
- Proof of the Poincaré lemma for one-forms on convex sets
- Initial value formulation of general relativity
- Gauss's law
- Hill sphere
- Axiom A
- Barnes–Hut simulation
- Vis-viva equation
- Covariant formulation of classical electromagnetism
- Stellar dynamics
- Milloux problem
- Liouville's theorem for planar harmonic functions
- Gauss's law for potentials
- Proof of the second derivative test in several variables
- Proof that the divergence of a curl is zero
- Maximum principle for harmonic functions
- Parker instability
- Surface plasmon polariton
- Cauchy momentum equation
- Tautological one-form
- Indirect utility function
- Extremal length
- Geomagnetic secular variation
- Central force
- Einstein radius
- Hadamard three-circle theorem for subharmonic functions
- Fundamental theorem of space curves
- Lindelöf's maximum principle
- Helmholtz decomposition of electromagnetic fields
- Hadamard three-circle theorem
- Schwarz–Pick theorem
- Sitnikov problem
- Proof of the symmetry of second derivatives by a second difference
- Proof of the chain rule for Jacobian matrices
- Graph embedding
- Slice theorem
- Free-fall time
- Jacobi ellipsoid
- Lagrange points
- Harmonic measure as exit distribution
- Two-body relaxation time
- Proof that the exterior derivative squares to zero
- Hadamard three-lines theorem
- Parker spiral
- Parabolic and hyperbolic Riemann surfaces
- Poisson integral for the half-space
- Retarded potential
- Anosov diffeomorphism
- Analytic capacity
- Brewster's angle
- Differentiable curve
- Proof that C^k functions are characterised by continuous derivatives
- Poynting's theorem
- Newtonian limit
- Adjoint state method
- Strong gravitational lensing
- Lindelöf's theorem
- Harmonic space
- Proof of the vector calculus identities
- Hadamard's two-constants theorem
- Stability conjecture
- Prime end
- Proof that the real part of a holomorphic function is harmonic
- Bôcher's theorem
- Einstein ring
- Madelung equations
- Circular restricted three-body problem
- Jefimenko's equations
- Faraday's law of induction
- Evolute
- Groundwater flow equation
- International Geomagnetic Reference Field
- Circle average
- Proof that the curl of a gradient is zero
- Magnetic vector potential
- Osculating circle
- Bullen parameter
- Four-vertex theorem
- Roche lobe
- Hartogs lemma for subharmonic functions
- Frenet–Serret formulas
- Whitney–Graustein theorem
- Inductance
- Euler–Lagrange equation
Further reading
- Web https://www.jirka.org/ra/realanal2.pdf, Proposition 8.3.9
About this page
| Tag | NY1PHJHKN9 |
|---|---|
| URI | m2://NY1PHJHKN9 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 26B05 |
| Proves | Derivative gives the directional derivatives |
| Uses | Differentiable function of several variables, Having a directional derivative, Open set, Open ball |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.