導數的集合論定義

給定一函數 f 與一點 a,我們可以想見它們可以建構出斜率函數

slope = {⟨⟨f, a⟩, y⟩ ∣ y = (x ∈ (dom f ∖ {a}) ↦ (((fx) − (fa)) / (xa)))}

只需要透過一階邏輯、外延公理、替代公理,我們可以輕易改寫為較易讀的形式。

(FslopeA) = (x ∈ (dom F ∖ {A}) ↦ (((Fx) − (FA)) / (xA)))

唉呀,抱歉,這裡還沒寫完喔!小弟奉上一杯咖啡,向您賠個不是。

發表迴響

你的電子郵件位址並不會被公開。 必要欄位標記為 *