開啟輔助訪問
切換到窄版

數學教師知識庫--李源順

 找回密碼
 立即註冊

QQ登錄

只需一步,快速開始

一鍵登錄:

Login

用Google註冊或登入

  1. **本站三願: (1)推行數學感教育; (2)推行國小高年級(班群)專業教學, 或者有助教師培育與教學合流的政策; (3)為台灣教師建立數學教學入口網站。
  2. **本站智慧財產權問題與系統問題, 請參見"信息公告-網站信息"。
  3. **本站正在進行新舊更替(新站請註冊;舊站請用原來的帳號登入,或者在帳號和密碼都輸入guest,及隨機碼登入)。若資料無法下載, 請刪除(新站)"mathweb/", 或者(舊站)在"tw/"之後加上"mathweb/"。
  4. **本站為無營利網站,公開給已註冊會員找尋和放置數學教育相關資訊之用。請願意協助豐富內容的讀者將所缺資料,自行發佈到相關區塊。也歡迎學者自行將著作上傳到本網站,以利學術與實務交流。
  5. **使用Google搜索本站_____________

處處連續而處處不可導(不可微)的函數

[複製鏈接]
leeys 發表於 2017-1-5 12:57:06 | 顯示全部樓層 |閱讀模式

管理員|主題 |帖子 |積分 1萬


魏爾斯特拉斯函數[編輯][size=0.938em]維基百科,自由的百科全書


795px-WeierstrassFunction.svg.png

區間[−2, 2]上的魏爾斯特拉斯函數。這個函數具有碎形特性:某些部分會和整體自相似。



數學中, 魏爾斯特拉斯函數(Weierstrass function)是一類處處連續而處處不可導函數。魏爾斯特拉斯函數是一種無法用筆畫出任何一部分的函數,因為每一點的導數都不存在,畫的人無法知道每一點該朝哪個方向畫[1]。魏爾斯特拉斯函數的每一點的斜率也是不存在的。魏爾斯特拉斯函數得名於十九世紀的德國數學家卡爾·魏爾斯特拉斯(Karl Theodor Wilhelm Weierstrass ; 1815–1897)[2]
歷史上,魏爾斯特拉斯函數是一個著名的數學反例。魏爾斯特拉斯之前,數學家們對函數的連續性認識並不深刻。許多數學家認為除了少數一些特殊的點以外,連續的函數曲線在每一點上總會有斜率。魏爾斯特拉斯函數的出現說明了所謂的「病態」函數的存在性,改變了當時數學家對連續函數的看法[3]

目錄  [[url=]隱藏[/url]]



構造[編輯]
魏爾斯特拉斯的原作中給出的構造是:
{\displaystyle f(x)=\sum _{n=0}^{\infty }a^{n}\cos(b^{n}\pi x)},
其中{\displaystyle 0<a<1},{\displaystyle b}為正的奇數,使得:
{\displaystyle ab>1+{\frac {3}{2}}\pi .}1+{\frac  {3}{2}}\pi ." style="border: none; vertical-align: -1.838ex; display: inline-block; width: 13.39ex; height: 5.176ex;">
這個函數以及它處處連續而又處處不可導的證明首次出現在魏爾斯特拉斯於1872年7月18日在普魯士科學院出版的一篇論文中。
證明這個函數處處連續並不困難。由於無窮級數的每一個函數項{\displaystyle a^{n}\cos(b^{n}\pi x)}的絕對值都小於常數{\displaystyle a^{n}},而正項級數{\displaystyle \sum _{n=0}^{\infty }a^{n}}收斂的。由比較審斂法可以知道原級數均勻收斂。因此,由於每一個函數項{\displaystyle a^{n}\cos(b^{n}\pi x)}都是{\displaystyle {\mathbb {R} }}上的連續函數,級數和{\displaystyle f(x)}也是{\displaystyle {\mathbb {R} }}上的連續函數。
下面證明函數處處不可導:對一個給定的點{\displaystyle x\in {\mathbb {R} }},證明的思路是找出趨於{\displaystyle x}的兩組不同的數列{\displaystyle (x_{n})}和{\displaystyle (x'_{n})},使得
{\displaystyle \lim \inf {\frac {f(x_{n})-f(x)}{x_{n}-x}}>\lim \sup {\frac {f(x'_{n})-f(x)}{x'_{n}-x}}.}\lim \sup {\frac  {f(x'_{n})-f(x)}{x'_{n}-x}}." style="border: none; vertical-align: -2.338ex; display: inline-block; width: 45.715ex; height: 6.176ex;">
這與函數可導的定義矛盾,於是證明完畢。
一般人會直覺上認為連續的函數必然是近乎可導的。即使不可導,所謂不可導的點也必然只占整體的一小部分。根據魏爾斯特拉斯在他的論文中所描述,早期的許多數學家,包括高斯,都曾經假定連續函數不可導的部分是有限可數的。這可能是因為直觀上想像一個連續但在不可數個點上不可導的函數是很困難的事。當我們繪製函數的圖像時,總會畫出較為規則的圖形,例如滿足利普希茨條件的函數圖像。
魏爾斯特拉斯函數可以被視為第一個碎形函數,儘管這個名詞當時還不存在。將魏爾斯特拉斯函數在任一點放大,所得到的局部圖都和整體圖形相似。因此,無論如何放大,函數圖像都不會顯得更加光滑,也不存在單調的區間。
處處不可導函數的稠密性[編輯]
分析學的成果表明,魏爾斯特拉斯函數並不是連續函數中的少數幾個特例之一。儘管它是「病態」函數的一種,但可以證明,這種病態的函數事實上不在「少數」,甚至比那些「規則」的函數「多得多」。
  • 拓樸學意義上:在從[0,1]區間射到實數上的連續函數空間C([0, 1]; R)中,處處不可導的函數的集合是稠密的(關於均勻範數的拓樸)。
  • 測度論意義上:在配備了經典維納測度γ的連續函數空間C([0, 1]; R)中,至少有一處可導的函數所構成的集合的測度是0,也就是說和處處不可導的函數相比是可以「忽略」的。
參考資料[編輯]
  • B.R. Gelbaum、J.M.H. Olmstead,《分析學的反例》(Counterexamples in Analysis), Holden Day Publisher (June 1964).
  • Karl Weierstrass, Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen, Collected works; English translation: On continuous functions of a real argument that do not have a well-defined differential quotient, in: G.A. Edgar, Classics on Fractals, Addison-Wesley Publishing Company, 1993, 3-9.
  • G.H. Hardy,《魏爾斯特拉斯不可導函數》(Weierstrass's nondifferentiable function), Trans. Amer. Math. Soc., 17(1916), 301-325.
  • K. Falconer,《碎形的幾何》(The Geometry of Fractal Sets), Oxford (1984).
  • Johan Thim. Continuous Nowhere Differentiable Functions. Master Thesis Lulea Univ of Technology 2003. [28 July 2006].
注釋[編輯]
外部連結[編輯]

https://zh.wikipedia.org/wiki/%E ... F%E5%87%BD%E6%95%B0


回復

使用道具 舉報

您需要登錄後才可以回帖 登錄 | 立即註冊

本版積分規則

e-mai: leeys@uTaipei.edu.tw, 以及leeys@go.uTaipei.edu.tw 電話02-23113040#1904, 或1913(系辦劉俐均)

李源順©2000|使用Google搜索本站|小黑屋|Archiver|手機版|數學教師知識庫  

GMT+8, 2020-11-29 04:28 , Processed in 0.209000 second(s), 31 queries .

Powered by Discuz! F1.0

© 2001-2020 Comsenz Inc. & Discuz! Fans

快速回復 返回頂部 返回列表