Fiber bundles | Differential geometry | Algebraic topology
In algebraic topology, a G-fibration or principal fibration is a generalization of a principal G-bundle, just as a fibration is a generalization of a fiber bundle. By definition, given a topological monoid G, a G-fibration is a fibration p: P→B together with a continuous right monoid action P × G → P such that * (1) for all x in P and g in G. * (2) For each x in P, the map is a weak equivalence. A principal G-bundle is a prototypical example of a G-fibration. Another example is Moore's path space fibration: namely, let be the space of paths of various length in a based space X. Then the fibration that sends each path to its end-point is a G-fibration with G the space of loops of various lengths in X. (Wikipedia).
Differential Equations | Convolution: Definition and Examples
We give a definition as well as a few examples of the convolution of two functions. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Differential Equations
Introduction to the z-Transform
http://AllSignalProcessing.com for more great signal processing content, including concept/screenshot files, quizzes, MATLAB and data files. Introduces the definition of the z-transform, the complex plane, and the relationship between the z-transform and the discrete-time Fourier transfor
From playlist The z-Transform
Any function proportional to a PMF or PDF uniquely determines it. Using proportionality is a extremely useful trick when doing Bayesian inference.
From playlist Machine Learning
The Fourier Transform and Derivatives
This video describes how the Fourier Transform can be used to accurately and efficiently compute derivatives, with implications for the numerical solution of differential equations. Book Website: http://databookuw.com Book PDF: http://databookuw.com/databook.pdf These lectures follow
From playlist Fourier
definition of derivative, hard example
definition of derivative, find the derivative of a function by using the definition, blackpenredpen.com math for fun, calculus homework help
From playlist Sect 2.8, Stewart Calculus 7th ed, video solutions to select
Lecture: Numerical Differentiation Methods
From simple Taylor series expansions, the theory of numerical differentiation is developed.
From playlist Beginning Scientific Computing
Proof that if g o f is Surjective(Onto) then g is Surjective(Onto)
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof that if g o f is Surjective(Onto) then g is Surjective(Onto). Given two functions f : A to B and g: B to C, we prove that if the composition g o f: A to C is a surjective function then g is also surjective function.
From playlist Proofs
Definition of derivative in terms of a limit, (def 1)
Definition of derivative, calculus 1 homework solution. #calculus Check out my 100 derivatives: https://youtu.be/AegzQ_dip8k
From playlist Sect 2.7, Definition of Derivative
Working Group on Univalent Foundations - Michael Shulman
Michael Shulman Institute for Advanced Study December 12, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Charles Weibel: K-theory of algebraic varieties (Lecture 1)
The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Charles Weibel: K theory of algebraic varieties Abstract: Lecture 1 will present definitions for the Waldhausen K-theory of rings, varieties, additive and exact categories, and dg c
From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"
Alessandra Sarti, Old and new on the symmetry groups of K3 surfaces
VaNTAGe Seminar, Feb 9, 2021
From playlist Arithmetic of K3 Surfaces
ITHT: Part 12- Model Structure on Topological Spaces
Credits: nLab: https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Theory#TheClassicalModelStructureOfTopologicalSpaces Animation library: https://github.com/3b1b/manim My own code/modified library: https://github.com/treemcgee42/youtub...
From playlist Introduction to Homotopy Theory
Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine
(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math April 11, 2013 In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be des
From playlist Mathematics
On the algebraic fundamental group of surfaces of general type by Margarida Lopes
Algebraic Surfaces and Related Topics PROGRAM URL : http://www.icts.res.in/program/AS2015 DESCRIPTION : This is a joint program of ICTS with TIFR, Mumbai and KIAS, Seoul. The theory of surfaces has been the cradle to many powerful ideas in Algebraic Geometry. The problems in this area
From playlist Algebraic Surfaces and Related Topics
Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine
Peter LeFanu Lumsdaine Dalhousie University; Member, School of Mathematics October 25, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Semantics of Higher Inductive Types - Michael Shulman
Semantics of Higher Inductive Types Michael Shulman University of California, San Diego; Member, School of Mathematics February 27, 2013
From playlist Mathematics
ITHT: Part 9- The Homotopy Category
Credits: nLab: https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Theory#TheHomotopyCategory Animation library: https://github.com/3b1b/manim My own code/modified library: https://github.com/treemcgee42/youtube Music: ► Artist Attribution • Music By: "KaizanBlu" • Track Nam
From playlist Introduction to Homotopy Theory
Proof of the Convolution Theorem
Proof of the Convolution Theorem, The Laplace Transform of a convolution is the product of the Laplace Transforms, changing order of the double integral, proving the convolution theorem, www.blackpenredpen.com
From playlist Convolution & Laplace Transform (Nagle Sect7.7)
definition of derivative, find the derivative of a function by using the definition, blackpenredpen.com math for fun, calculus homework help
From playlist Sect 2.8, Stewart Calculus 7th ed, video solutions to select
Formal Abstract Homotopy Theory - Jeremy Avigad
Jeremy Avigad Carnegie Mellon University February 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics