Đăng bởi: datuan5pdes | Tháng Một 2, 2012

Phép tính vi phân – tích phân phân số

Tiêu đề trên được dịch từ tiếng Anh “Fractional Calculus”. Giải tích ta đang làm quen được dịch từ “Calculus” gồm các phép tính vi phân và tích phân. Ta làm quen với phép lấy đạo hàm cấp cao (cấp của đạo hàm là các số tự nhiên) và phép lấy nguyên hàm (cấp 1). Trong bài “Phần dư trong công thức Taylor được dẫn từ đẳng thức tích phân” ở trang

http://bomongiaitich.wordpress.com/2011/12/22/ph%E1%BA%A7n-d%C6%B0-trong-cong-th%E1%BB%A9c-taylor-d%C6%B0%E1%BB%A3c-d%E1%BA%ABn-t%E1%BB%AB-d%E1%BA%B3ng-th%E1%BB%A9c-tich-phan/

tôi có đưa ra một công thức khá cồng kềnh:

\int\limits_{x_0}^{x}dt\int\limits_{x_0}^{t}dt_1\dots \int\limits_{x_0}^{t_{n-2}}dt_{n-1}\int\limits_{x_0}^{t_{n-1}}f^{(n+1)}(t_{n})dt_n.

Công thức này tuy cồng kềnh nhưng nó cho ta nhìn thấy tên gọi của nó:

“nguyên hàm cấp (n+1)” của f^{(n+1)}(x).

Ta viết lại nguyên hàm cấp n của hàm f

I_n f(x)=\int\limits_{x_0}^{x}dt\int\limits_{x_0}^{t}dt_1\dots \int\limits_{x_0}^{t_{n-2}}f(t_{n-1})dt_{n-1}.

Trong bài vừa nói trên cũng cho ta công thức gọn của nguyên hàm cấp n của hàm f

I_nf(x)=\int\limits_{x_0}^x\dfrac{(x-y)^{n-1}}{(n-1)!}f(y)dy=\int\limits_{x_0}^x\dfrac{(x-y)^{n-1}}{\Gamma(n)}f(y)dy

trong đó hàm Gamma được xác định bởi công thức tích phân suy rộng loại I sau

\Gamma(\alpha)=\int\limits_0^\infty e^{-\alpha x}x^{\alpha}\dfrac{dx}{x}, \alpha>0.

Từ đây gợi ý cho ta định nghĩa nguyên hàm cấp không nguyên (phân số) \alpha>0 của hàm f:

I_nf(x)=\int\limits_{x_0}^x\dfrac{(x-y)^{\alpha-1}}{\Gamma(\alpha)}f(y)dy.

Để có đạo hàm cấp không nguyên 0<\alpha<1 ta có hai cách:

+)(theo cách Riemann-Liouville) lấy đạo hàm cấp 1 của nguyên hàm cấp (1-\alpha):

\dfrac{d}{dx}(I_{1-\alpha}f(x))=\dfrac{d}{dx}\Big(\int\limits_{x_0}^x\dfrac{(x-y)^{-\alpha}}{\Gamma(1-\alpha)}f(y)dy\Big);

+)(theo cách Caputo) lấy nguyên hàm cấp (1-\alpha) của đạo hàm cấp 1:

I_{1-\alpha}(f^{,}(x))=\int\limits_{x_0}^x\dfrac{(x-y)^{-\alpha}}{\Gamma(1-\alpha)}f^{,}(y)dy.

Bạn đọc có thể xem thêm ở trang

http://en.wikipedia.org/wiki/Fractional_calculus

Tôi được nghe thầy Trần Đình Kế, trường Đại học Sư Phạm HN I, giới thiệu khá nhiều bài toán trong kỹ thuật phải dùng đến đạo hàm cấp không nguyên. Thầy Kế cũng đang nghiên cứu khía cạnh toán học của các bài toán đó.

Để lại phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Mười Hai 22, 2011

Phần dư trong công thức Taylor được dẫn từ đẳng thức tích phân

Trong Giải tích 1, phần dư trong công thức Taylor:

R_n(f, x_0)(x)=f(x)-\sum\limits_{k=0}^n\dfrac{f^{(k)}(x_0)}{k!}(x-x_0)^k

được viết dưới hai dạng tương đối cụ thể:

+) dạng Lagrange:

R_n(f, x_0)(x)=\dfrac{f^{n+1}(x_0+\theta_L(x-x_0))}{(n+1)!}(x-x_0)^{n+1}, với \theta_L\in(0, 1) (rất khó xác định);

+) dạng Cauchy:

R_n(f, x_0)(x)=\dfrac{f^{n+1}(x_0+\theta_C(x-x_0))}{n!}(1-\theta_C)^n(x-x_0)^{n+1}, với \theta_C\in(0, 1) (rất khó xác định).

Các dạng trên được dẫn từ Định lý Cauchy

có c nằm giữa x và x_0 để

\dfrac{\varphi^{,}(c)}{\psi^{,}(c)}=\dfrac{\varphi(x)-\varphi(x_0)}{\psi(x)-\psi(x_0)}

cho hai hàm

+) dạng Lagrange:

\varphi(t)=f(x)-f(t)-\sum\limits_{k=1}^n \dfrac{f^{(k)}(t)}{k!}(x-t)^k,

\psi(t)=(x-t)^{n+1};

+) dạng Cauchy:

\varphi(t)=f(x)-f(t)-\sum\limits_{k=1}^n \dfrac{f^{(k)}(t)}{k!}(x-t)^k,

\psi(t)=(x-t).

Lưu ý

R_n(f, x_0)(x)=\varphi(x_0)-\varphi(x).

Tôi sẽ không đi sâu vào chi tiết hướng này mà sẽ đi từ hướng dùng tích phân.

Trong Giải tích 2, ta biết mối quan hệ giữa tích phân xác định và nguyên hàm nhờ Định lý Newton-Leibniz:

f(x)=f(x_0)+\int\limits_{x_0}^xf^{,}(t)dt

hay

R_0(f, x_0)(x)=\int\limits_{x_0}^x f^{,}(t)dt. (Phần dư dạng tích phân)

Ta sẽ tổng quát hóa điều trên.

Hôm 20/12/2011 tôi có làm cho lớp K56A2 bước tiếp

R_1(f, x_0)(x)=\int\limits_{x_0}^x dt \int\limits_{x_0}^t f^{,,}(y)dy. (Dạng tích phân lặp)

Cứ thế này ta có thể viết tiếp

R_n(f, x_0)(x)=\int\limits_{x_0}^{x}dt\int\limits_{x_0}^{t}dt_1 \dots \int\limits_{x_0}^{t_{n-1}}f^{(n+1)}(t_n)dt_n.

Công thức này khá cồng kềnh. Nếu để ý, ta đổi thứ tự lấy tích phân

\int\limits_{x_0}^x dt \int\limits_{x_0}^t f^{,,}(y)dy=\int\limits_{x_0}^x dy \int\limits_{y}^x f^{,,}(y)dt

=\int\limits_{x_0}^x \dfrac{f^{,,}(y)}{1!}(x-y)dy.

Khi đó công thức tổng quát

R_n(f, x_0)(x)=\int\limits_{x_0}^x\dfrac{f^{(n+1)}(y)}{n!}(x-y)^ndy. (Phần dư dạng tích phân)

Công thức này có được

(như cách trình bày ở trang http://en.wikipedia.org/wiki/Taylor%27s_theorem)

nhờ công thức Newton-Leibniz và đẳng thức truy hồi:

\int\limits_{x_0}^x\dfrac{f^{(n+1)}(y)}{n!}(x-y)^ndy=\dfrac{f^{(n+1)}(x_0)}{(n+1)!}(x-x_0)^{n+1}+

+\int\limits_{x_0}^x\dfrac{f^{(n+2)}(y)}{(n+1)!}(x-y)^{n+1}dy.

(Lưu ý \dfrac{f^{(n+1)}(y)}{n!}(x-y)^ndy=-f^{(n+1)}(y)d\Big(\dfrac{(x-y)^{n+1}}{(n+1)!}\Big).)

Bây giờ, từ công thức dạng tích phân của phần dư, tôi sẽ dùng Định lý trung bình để dẫn ra các dạng Lagrange, Cauchy.

+) Dạng Lagrange:

- áp dụng Định lý trung bình tích phân thứ nhất cho

f_1(y)=\dfrac{f^{(n+1)}(y)}{n!}, g_1(y)=(x-y)^n

(g_1 không đổi dấu trong khoảng giữa x và x_0)

có một số c nằm giữa x và x_0 để

\int\limits_{x_0}^x f_1(y)g_1(y)dy=f_1(c)\int\limits_{x_0}^xg_1(y)dy=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x-x_0)^{n+1}.

+) Dạng Cauchy:

- áp dụng Định lý trung bình tích phân thứ nhất cho

f_2(y)=\dfrac{f^{(n+1)}(y)}{n!}(x-y)^n, g_2(y)=1

(g_2 không đổi dấu trong khoảng giữa x và x_0)

có một số c nằm giữa x và x_0 để

\int\limits_{x_0}^x f_2(y)g_2(y)dy=f_2(c)\int\limits_{x_0}^xg_2(y)dy=\dfrac{f^{(n+1)}(c)}{n!}(x-c)^n(x-x_0).

Bằng cách đặt c=x_0+\theta(x-x_0), 0<\theta<1 ta có ngay các dạng phần dư.

Để lại phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Mười Hai 14, 2011

Định lý Abel – Định lý Dirichlet

Để kiểm tra sự hội tụ của tích phân suy rộng, ngoài công cụ tiêu chuẩn Cauchy, ta còn có hai công cụ hữu hiệu Định lý Abel và Định lý Dirichlet.

Để dùng được hai Định lý này ta phải phân tích hàm dưới dấu tích phân thành tích

f(x)g(x).

Chẳng hạn ta thử xem tích phân sau

\int\limits_1^\infty \dfrac{\sin x}{x}dx.

Ta phân tích hàm dưới dấu tích phân

\dfrac{\sin x}{x}=\dfrac{1}{x}\sin x

có

+) f(x)=\sin x có nguyên hàm \cos x bị chặn bởi 1,

+) g(x)=\dfrac{1}{x} là hàm đơn điệu giảm về 0 khi x tiến ra vô cùng.

Từ đó dùng Định lý Dirichlet ta có tích phân

\int\limits_1^\infty \dfrac{\sin x}{x}dx hội tụ.

Tuy nhiên trong vài trường hợp nếu không biết phân tích thì không áp dụng được.

Chẳng hạn, ta xét tích phân

\int\limits_1^\infty \big(\dfrac{\sin x}{x}\big)^2dx.

Nếu tách hàm dưới dấu tích phân

\big(\dfrac{\sin x}{x}\big)^2=\dfrac{\sin x}{x}\dfrac{\sin x}{x}

thì

+) f(x)=\dfrac{\sin x}{x} có nguyên hàm là hàm có giới hạn ở vô cùng,

+) tuy nhiên g(x)=\dfrac{\sin x}{x} là hàm dao động (không đơn điệu).

Hoặc tách

\big(\dfrac{\sin x}{x}\big)^2=\dfrac{1}{x^2}\sin^2 x

thì

+) g(x)=\dfrac{1}{x^2} đơn điệu giảm về 0 khi x tiến ra vô cùng,

+) tuy nhiên f(x)=\sin^2 x có nguyên hàm F(x)=\dfrac{1}{2}(x+sin(2x)+C) không bị chặn trên [1, +\infty).

Nếu để ý

\sin^2 x= \dfrac{1}{2}(1-\cos(2x))

và các tích phân

\int\limits_1^\infty \dfrac{1}{x^2}dx,\; \int\limits_1^\infty \dfrac{\cos(2x)}{x^2}dx hội tụ

thì tích phân

\int\limits_1^\infty \big(\dfrac{\sin x}{x}\big)^2dx hội tụ.

Trong bài giảng hôm 13/12/2011, tôi đã đưa ra các phản ví dụ cho thấy các điều kiện:

+) f có nguyên hàm bị chặn,

+) g đơn điệu và \lim\limits_{x\to+\infty}g(x)=0

là cần thiết cho kết luận của Định lý Dirichlet.

Dưới đây tôi sẽ đưa ra các phản ví dụ cho thấy sự cần thiết của các điều kiện:

+) f có nguyên hàm có giới hạn tại vô cùng,

+) g đơn điệu và bị chặn

trong Định lý Abel.

VD1: Tích phân \int\limits_1^\infty \dfrac{\sin^2 x}{x}dx

có

+) f(x)=\sin^2 x có nguyên hàm \dfrac{1}{2}(x+\sin(2x)+C) không có giới hạn tại vô cùng,

+) g(x)=\dfrac{1}{x} đơn điệu và bị chặn trên [1, +\infty),

+) phân kỳ.

VD2: Tích phân \int\limits_1^\infty \dfrac{\sin^2 x}{x}dx

có

+) f(x)=\dfrac{\sin^2 x}{x^2} có nguyên hàm \int_1^x \dfrac{\sin^2 t}{t^2}dt có giới hạn tại vô cùng,

+) g(x)= x đơn điệu và không bị chặn trên [1, +\infty),

+) phân kỳ.

VD3: Tích phân \int\limits_1^\infty \dfrac{\sin^2 x}{x}dx

có

+) f(x)=\dfrac{\sin x}{x} có nguyên hàm \int_1^x \dfrac{\sin t}{t}dt có giới hạn tại vô cùng,

+) g(x)=\sin x không đơn điệu và bị chặn trên [1, +\infty),

+) phân kỳ.

Định lý Abel giúp ta có phép thử lặp. Chẳng hạn, ta xét tích phân

\int\limits_1^\infty \arctan (x) e^{1-x}\dfrac{\sin x}{x}dx.

Áp dụng Định lý Abel lần thứ nhất:

+) f_1(x)=\dfrac{\sin x}{x} có nguyên hàm \int\limits_1^x \dfrac{\sin t}{t}dt có giới hạn ở vô cùng,

+) g_1(x)=e^{1-x} đơn điệu giảm và bị chặn trên [1, +\infty)

nên hàm \int\limits_1^x e^{1-t}\dfrac{\sin t}{t}dt có giới hạn ở vô cùng.

Ta lại áp dụng Định lý Abel lần thứ hai:

+) f_2(x)=e^{1-x}\dfrac{\sin x}{x} có nguyên hàm \int\limits_1^x e^{1-t}\dfrac{\sin t}{t}dt có giới hạn ở vô cùng,

+) g_2(x)=\arctan x là hàm đơn điệu tăng và bị chặn trên [1, +\infty)

nên tích phân

\int\limits_1^\infty \arctan (x) e^{1-x}\dfrac{\sin x}{x}dx hội tụ.

Sang Giải tích 4, ta sẽ còn quay trở lại các Định lý Abel – Định lý Dirichlet khi khảo sát sự hội tụ của

+) chuỗi số \sum\limits_{n=1}^\infty u_nv_n,

+) chuỗi hàm \sum\limits_{n=1}^\infty u_n(x)v_n(x),

+) tích phân suy rộng phụ thuộc tham số \int_0^\infty f(x, y)g(x, y)dy.

Để lại phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Mười Hai 2, 2011

Tổng hợp về giới hạn hàm số

ThieuThiLanAnh_K56A2

Bài tổng hợp về giới hạn của sinh viên Thiều Thị Lan Anh K56A2 viết về giới hạn của hàm số tại một điểm (hữu hạn hoặc ở vô cùng).

Một hàm không có giới hạn tại một điểm có các trường hợp sau:

- hội tụ ra vô cùng (\pm\infty);

- dao động bị chặn, chẳng hạn

+) \sin{x} tại +\infty

+) \sin(1/x) tại 0;

- dao động không bị chặn, chẳng hạn

+) x\sin{x} tại +\infty

+) \dfrac{\sin(1/x)}{x} tại 0.

2 phản hồi

Posted in Bài giảng

Đăng bởi: datuan5pdes | Tháng Mười Hai 2, 2011

Tổng hợp về dãy

NguyenThiHanh1004_NguyenThiThanhThuy_K56A2

Bài tổng hợp về dãy của các sinh viên Nguyễn Thị Hạnh và Nguyễn Thị Thanh Thùy K56A2 viết về mối quan hệ giữa các khái niệm:

- hội tụ,

- đơn điệu,

- bị chặn.

Một dãy đơn điệu có hai trường hợp sau xảy ra:

- bị chặn thì sẽ hội tụ đến số hữu hạn,

- không bị chặn sẽ hội tụ ra vô cùng.

Dãy không đơn điệu được gọi là dao động.

Có hai loại dao động:

+) dao động bị chặn, chẳng hạn u_n=(-1)^n;

+) dao động không bị chặn, chẳng hạn u_n=n(-1)^n.

Để lại phản hồi

Posted in Bài giảng

Đăng bởi: datuan5pdes | Tháng Mười Một 9, 2011

Vô cùng lớn – Vô cùng bé

DinhThiHoa_NguyenDucTrung_K56A2

Trên đây là bài tổng hợp của các sinh viên Đinh Thị Hòa và Nguyễn Đức Trung, lớp K56A2T.

Còn vài điều chưa đề cập đến trong bài tổng hợp.

Chẳng hạn làm thế nào để biết

e^{\sin x}=1+x+\dfrac{1}{2}x^2+o(x^3)

từ \sin{x}=x-\dfrac{1}{3!}x^3+o(x^4), e^x= 1+x+\dfrac{1}{2!}x^2+\dfrac{1}{3!}x^3+o(x^3).

Phần về vô cùng lớn cũng chưa được quan tâm nhiều trong bài tổng hợp.

Dưới đây

lecture2 – Algorithm Analysis

là một phần trong bài giảng

“Thiết kế và đánh giá thuật toán”

cho các lớp Toán Tin của cô Nguyễn Thị Hồng Minh

liên quan đến vô cùng lớn.

1 phản hồi

Posted in Bài giảng

Đăng bởi: datuan5pdes | Tháng Mười 26, 2011

Số vô tỷ – Số đại số – Số siêu việt

Bắt đầu từ số đếm (số tự nhiên- Natural numbers), con người bắt đầu đếm những thứ xung quanh mình. Khi bắt đầu trao đổi hàng hóa, con người lại thấy có số âm (negative number), rồi số hữu tỷ (rational number), số không (zero). Con người cũng biết đến số vô tỷ (irrational number) khi tính độ dài cạnh huyền (\sqrt{2}) của cạnh hình tam giác vuông cân với cạnh góc vuông là đơn vị , hay độ dài đường tròn đơn vị (2\pi). Việc chứng tỏ \sqrt{2} của Hippasus (vào thời Pythagorean) cũng là một sự kiện xã hội (gần giống như việc nói rằng Mặt Trời quay quanh Trái Đất), xem

http://en.wikipedia.org/wiki/Irrational_number.

Việc chứng minh này dựa vào:

- tính chia hết cho 2,

- tập con của tập số tự nhiên luôn có số bé nhất.

Bằng nguyên lý Dirichlet và tính vô tỷ của \sqrt{2} người ta chứng minh được rằng với mỗi số tự nhiên n bất phương trình

|\sqrt{2}-\dfrac{p}{q}|\le \dfrac{1}{nq}

đều có nghiệm nguyên p, q.

Từ đó dẫn đến bất phương trình

|\sqrt{2}-\dfrac{p}{q}|\le \dfrac{1}{q^2}

có vô số nghiệm nguyên p, q.

Người ta cũng có thể xây dựng khá cụ thể dãy cặp (p_n, q_n), n=1, 2, \dots, thỏa mãn bất phương trình trên bằng phương pháp phân số liên tục (continued fraction). Bạn đọc có thể đọc trong cuốn

“Continued Fractions” của A. Ya. Khinchin.

Bạn đọc có thể lấy từ đường link

http://www.box.net/shared/6mgnvk1dnvh6qy2basdx

Bạn đọc thử chứng minh nếu \alpha là số hữu tỷ, bất phương trình

|\alpha-\dfrac{p}{q}|\le \dfrac{1}{q^2}

chỉ có hữu hạn nghiệm.

Bằng tính toán đơn giản ta cũng sẽ thấy bất phương trình sau

|\sqrt{2}-\dfrac{p}{q}|<\dfrac{\sqrt{2}-1}{2q^2}

vô nghiệm.

Đây là một phần của Định lý Liouville về số đại số. Trước hết ta làm quen với số đại số.

Số nguyên m là số đại số bậc 1 vì nó là nghiệm của đa thức bậc 1 với hệ số nguyên:

P_1(x)=x-m.

Số hữu tỷ \dfrac{p}{q} là số đại số bậc 1 vì nó là nghiệm của đa thức bậc 1 với hệ số nguyên:

P_1(x)=qx-p.

Số \sqrt{2} là số đại số bậc 2 vì nó là nghiệm của đa thức bậc 2 với hệ số nguyên:

P_2(x)=x^2-2

và không có đa thức bậc 1 với hệ số nguyên nào nhận nó làm nghiệm.

Số \root3\of{2} là số đại số bậc 3 vì nó là nghiệm của đa thức bậc 3 với hệ số nguyên:

P_3(x)=x^3-2

và không có đa thức bậc không lớn hơn 2 với hệ số nguyên nào nhận nó làm nghiệm.

Một cách tổng quát: số \alpha được gọi là số đại số (algebraic number) bậc n nếu có một đa thức bậc n với hệ số nguyên

P_n(x)=a_0+a_1x+\dots + a_nx^n, a_0, a_1, \dots, a_n\in\mathbb Z,

nhận nó là nghiệm và không có đa thức bậc nhỏ hơn n với hệ số nguyên nào nhận nó là nghiệm.

Số vô tỷ \alpha có hai trường hợp sau xảy ra:

- hoặc \alpha là số đại số có bậc n\ge 2;

- hoặc không có một đa thức với hệ số nguyên nào nhận \alpha là nghiệm, ta gọi là số siêu việt (transcendental number).

Sau đây là phát biểu của Định lý Liouville:

Cho \alpha là số đại số bậc n\ge 2. Khi đó có một số dương C để

|\alpha- \dfrac{p}{q}|>\dfrac{C}{q^n}\;\; \forall p, q\in\mathbb Z, q\not=0.

Từ Định lý Liouville, người ta dẫn ra ví dụ sau về số siêu việt:

\alpha=\sum_{j=1}^\infty 10^{-j!}.

Số e, \pi cũng là các số siêu việt. Tuy nhiên, người ta chưa nghĩ ra cách nào để chứng minh điều này bằng việc sử dụng Định lý Liouvlle.

Bạn đọc có thể tham khảo thêm trong cuốn

“Transcendental Number Theory” của Alan Baker.

Bạn đọc có thể lấy sách qua đường link

http://www.box.net/shared/ad1ppery96g4yhsbgk9j

1 phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Mười 14, 2011

Định lý Ostrowski – Giá trị tuyệt đối

Ta đã quen thuộc với khái niệm giá trị tuyệt đối (absolute value) trên tập số thực \mathbb R. Có thể nói một cách hình ảnh: giá trị tuyệt đối của một số thực là khoảng cách từ điểm tương ứng với số thực đó trên đường thẳng thực tới điểm gốc.

Các nhà Toán học đã rút ra các tính chất chính của giá trị tuyệt đối:

giá trị tuyệt đối là hàm số |.|: \mathbb R \to \mathbb R_+=\{x\in\mathbb R|\; x\ge 0\} thỏa mãn các tính chất sau:

(xác định dương) |x|\ge 0\; \forall x\in\mathbb R, dấu bằng xảy ra khi và chỉ khi x=0,

(nhân tính) |xy|=|x||y| \; \forall x, y\in\mathbb R,

(bất đẳng thức tam giác) |x+y|\le |x|+|y|\; \forall x, y \in\mathbb R.

Từ khái niệm giá trị tuyệt đối đã dẫn ra khái niệm dãy hội tụ, dãy Cauchy (cái sau này được hiểu là các khái niệm về tôpô). Dãy Cauchy là một trong những cách dẫn tới tập số thực từ tập số hữu tỷ. Cụ thể như sau:

trên trường số hữu tỷ \mathbb Q ta có khái niệm giá trị tuyệt đối thỏa mãn các tính chất như ở trên:

- xác định dương, nhân tính, bất đẳng thức tam giác.

Từ đó ta có khái niệm dãy hội tụ, dãy Cauchy. Tuy nhiên, nói chung một dãy Cauchy gồm các số hữu tỷ không hội tụ đến số hữu tỷ. Người ta đầy đủ hóa tập số hữu tỷ thì thu được tập số thực.

Một câu hỏi đặt ra: liệu ngoài giá trị tuyệt đối như ta biết ở trên còn giá trị tuyệt đối nào khác nữa không?

Câu trả lời: có, giá trị tuyệt đối p-adic (với p là một số nguyên tố) được xác định trên trường số hữu tỷ như sau:

|x|_p=p^{-n} nếu x=p^ny, trong đó n\in\mathbb Z, y=\dfrac{m}{n}, m, n\in\mathbb Z ,USCLN(m, p)=USCLN(n, p)=1,

|0|_p=0.

Bạn đọc có thể tự kiểm tra |.|_p thỏa mãn các tính chất của giá trị tuyệt đối như một bài tập không khó. Điểm đáng lưu ý của kiểu giá trị tuyệt đối này nằm ở bất đẳng thức tam giác:

|x+y|_p\le \max\{|x|_p, |y|_p\}.

Từ bất đẳng thức này dẫn đến tính không Archimede như sau:

Cho x, y\in \mathbb Q\setminus\{0\} và |x|_p<|y|_p. Khi đó với mọi n\in\mathbb Z ta vẫn có

|nx|_p<|y|_p.

Với giá trị tuyệt đối này ta có khái niệm dãy hội tụ, dãy Cauchy khác và bằng cách làm đầy ta thu được một trường số mới, không phải tập số thực \mathbb R, trường p-adic \mathbb Q_p.

Bạn đọc muốn tìm hiểu thêm có thể tham khảo bài giảng ngắn gọn sau của Andrew Baker:

padicnotes

Câu hỏi tiếp: liệu còn giá trị tuyệt đối nào khác xác định trên trường số hữu tỷ không?

Câu trả lời chính là Định lý của Ostrowski nói rằng:

Giá trị tuyệt đối không tầm thường trên trường số hữu tỷ

- hoặc tương đương với giá trị tuyệt đối thông thường,

- hoặc tương đương với giá trị tuyệt đối p-adic.

Bạn đọc có thể tham khảo chứng minh cũng như các khái niệm “giá trị tuyệt đối tầm thường” và “hai giá trị tuyệt đối tương đương” trong trang web

http://en.wikipedia.org/wiki/Ostrowski%27s_theorem

Có thể nói nôm na “hai giá trị tuyệt đối tương đương” cho ta cùng “một khái niệm hội tụ”.

13 phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Chín 25, 2011

Sách về tích phân mặt – tích phân đường

Cuốn sách

“Div, Grad, Curl, and All That: An Informal Text on Vector Calculus, 3ed”

của H. M. Schey

cho ta thấy nguồn gốc Vật lý của tích phân mặt và tích phân đường cũng như các công thức đẹp Green-Stokes, Ostrogradki-Gauss (Divergence Theorem).

Các bạn có thể lấy cuốn sách từ đường link

http://www.box.net/shared/qjg0aibjcoz9hd420s99

Để lại phản hồi

Posted in Tham Khảo

Đăng bởi: datuan5pdes | Tháng Chín 13, 2011

Trao đổi Giải tích 1 + 2 – lớp K56A2

Hôm nay, ngày 13/09/2011, tôi bắt đầu dạy Giải tích 1 và 2 cho lớp K56A2. Tôi đã đưa ra những nét chính của môn học và bắt đầu đi cụ thể với các khái niệm Tập hợp – Ánh xạ. Tôi cũng dần chuyển sang việc xây dựng tập số thực bằng khái niệm nhát cắt Dedekind.

Các bạn lớp K56A2 có thể xem qua chương trình tôi đã dạy năm ngoái ở trang

http://bomongiaitich.wordpress.com/2010/09/18/trao-d%e1%bb%95i-bai-gi%e1%ba%a3ng-l%e1%bb%9bp-k55a2/

Các bạn có thể viết các thắc mắc ở phần “Comments” (hay “phản hồi”) ở phía dưới bài viết.

39 phản hồi

Posted in Bài giảng

Bài viết cũ hơn »

Chuyên mục

Follow

Get every new post delivered to your Inbox.