Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Derivatives and Limits: Generalization and Indeterminacy

In course

MATH-101(c): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...

Description

This lecture covers the generalization of the TAF theorem, lateral derivatives, and limits of derivatives. It also discusses the indeterminacy of type 's' and the derivability of functions. The instructor explains the application of these concepts through various examples and proofs.

Instructor

Sacha Friedli

Diploma of Physics, Université de Lausanne, 1999 Phd, Institut de Physique Théorique, EPFL, 1999-2004 Post-doc, IMPA (Instituto Nacional de Matemática Pura e Aplicada), Rio de Janeiro, Brasil, 2004-2006 Adjunct professor, Departamento de Matemática (Universidade Federal de Minas Gerais), 2006-2016 Collaborateur Scientifique, Cours de Mathématiques Spéciales, EPFL, Lausanne, 2016-

Official source

Related concepts (32)

Derived category

In mathematics, the derived category D(A) of an A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology.

Theorem

In mathematics, a theorem is a statement that has been proved, or can be proved. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic.

Derived functor

In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. It was noted in various quite different settings that a short exact sequence often gives rise to a "long exact sequence". The concept of derived functors explains and clarifies many of these observations. Suppose we are given a covariant left exact functor F : A → B between two A and B.

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Gödel's incompleteness theorems

Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.

Related lectures (42)

Tangent to Graph of a Function

Explores finding the equation of the tangent line to a function's graph at a point.

Derivability and Continuity

Explores derivability and continuity of functions, showcasing examples of functions with differentiability properties.

Derivatives and Approximations: Logarithmic Functions

Explores derivatives and approximations, focusing on logarithmic functions and their properties.

Linear Independence: The Wronskian Concept

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.

Proofs: Logic, Mathematics & Algorithms