Uploaded April 2023 | Updated September 2026, 2 weeks ago
Universal property introduction: youtu.be/vZzZhdLC_YQ
This video proves the uniqueness of the tensor product of vector spaces (or modules over a commutative ring). This uses the universal property of the tensor product to prove the existence of an isomorphism (linear bijection) between any two "tensor products".
Tensor Products playlist: youtube.com/playlist?list=PLug5ZIRrShJHCtzgzZyRqSdzr8wYlN2qk
0:00 The Universal Property
3:53 Relating Two Tensor Products
8:10 Proving Isomorphism
Subscribe to see more new math videos!
Music: OcularNebula - The Lopez
Universal property introduction: youtu.be/vZzZhdLC_YQ
This video proves the uniqueness of the tensor product of vector spaces (or modules over a commutative ring). This uses the universal property of the tensor product to prove the existence of an isomorphism (linear bijection) between any two "tensor products".
Tensor Products playlist: youtube.com/playlist?list=PLug5ZIRrShJHCtzgzZyRqSdzr8wYlN2qk
0:00 The Universal Property
3:53 Relating Two Tensor Products
8:10 Proving Isomorphism
Subscribe to see more new math videos!
Music: OcularNebula - The Lopez







![Integral Formula for Natural Log (without knowing the derivative)
This video proves that the natural log equals the integral from 1 to x of 1/t dt under the assumption that ln(x) is the inverse function to the exponential e^x. We can do this without already knowing the derivative of the natural log!
More details on why the integral is the inverse of e^x:
We proved in the video that any right inverse to e^x must equal that integral. However, we didnt prove that e^x has a right inverse in the first place.
We know that e^x : R → R+ is a strictly increasing function whose output can be made arbitrarily large or arbitrarily small. Therefore e^x is a bijection R → R+. Every bijective function has a two-sided inverse (see [1] below). Therefore e^x has a two-sided inverse, which in particular is a right inverse. I proved in video [2] that injective functions have at most one right inverse. Therefore the right inverse to e^x is unique if it exists. But we already know that there exists one right inverse that is also a two-sided inverse. We conclude that there exists exactly one right inverse to e^x and that this right inverse is also a two-sided inverse. Hence the integral in the video is a two-sided inverse to e^x.
[1] https://youtu.be/E-njuKKrOwg
[2]: https://youtu.be/i5ZJuJr8DwE
Calculus Problems playlist: https://youtube.com/playlist?list=PLug5ZIRrShJGFne7YhMi-4eYsUKzkITao
Subscribe to see more new math videos!
Music: OcularNebula - The Lopez Integral Formula for Natural Log (without knowing the derivative)](https://i.ytimg.com/vi/Y-oYFT95RPo/mqdefault.jpg)


