还有连续函数的最值定理，介值定理，从图形上看就是当然的，就不像数学分析那样去严格证明了

所有跟帖： 

• 是的，不过这些严格证明，有一整套的方法语言，在微积分里没有，很难学的。 -蒋闻铭- ♂ (0 bytes) () 12/03/2025 postreply 13:42:13

• 阶跃函数不可导，但人家狄拉克就能强行求导发明了狄拉克函数 -rmny- ♂ (0 bytes) () 12/03/2025 postreply 13:49:53

• 狄是物理学家，注重数学的物理抽象，不在乎数学的严漌。 -QualityWithoutName- ♂ (0 bytes) () 12/03/2025 postreply 13:59:24

• 用勒贝格积分就应该能定义出来 -rmny- ♂ (0 bytes) () 12/03/2025 postreply 14:03:28

• 又说外行话。定义不出来。：） -蒋闻铭- ♂ (0 bytes) () 12/03/2025 postreply 14:11:05

• 在勒贝格积分的语境下，狄拉克δ函数是实数线上的一种测度 -rmny- ♂ (6873 bytes) () 12/03/2025 postreply 14:16:30

• 要用泛函分析的方法进行定义：本质上是一个泛函。 -方外居士- ♂ (0 bytes) () 12/03/2025 postreply 14:30:01