Diễn Đàn MathScopeDiễn Đàn MathScope
  Diễn Đàn MathScope
Ghi Danh Hỏi/Ðáp Thành Viên Social Groups Lịch Ðánh Dấu Ðã Ðọc

Go Back   Diễn Đàn MathScope > Đại Học Và Sau Đại Học/College Playground > Hình Học/Geometry

News & Announcements

Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé !

* Nội quy MathScope.Org

* Một số quy định chung !

* Quy định về việc viết bài trong diễn đàn MathScope

* Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây

* Những câu hỏi thường gặp

* Về việc viết bài trong Box Đại học và Sau đại học


Trả lời Gởi Ðề Tài Mới
 
Ðiều Chỉnh Xếp Bài
Old 28-11-2011, 04:07 PM   #1
Anh Khoa
Moderator
 
Anh Khoa's Avatar
 
Tham gia ngày: Oct 2010
Bài gởi: 1,260
Thanks: 380
Thanked 737 Times in 398 Posts
Vết đường cong có diện tích bằng 0

Cho $C : [a,b] \to \mathbb{R}^2 $ là một đường đi đơn chính qui từng khúc. Khi đó, vết của $C $ có diện tích không.
- Khái niệm về vết của đường đi : tập hợp các điểm mà đường đi đã đi qua, nghĩa là tập ảnh $C([a,b]) $
- Định nghĩa đường đi đơn chính qui: không đi qua điểm nào 2 lần và chính qui nếu đường đi trơn trên $[a,b] $ và vận tốc $C'(t) $ luôn khác 0.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
[Only registered and activated users can see links. ]

[Only registered and activated users can see links. ]

thay đổi nội dung bởi: 99, 28-11-2011 lúc 05:50 PM Lý do: sửa lại tiêu đề : lý do là bài này thuộc về lý thuyết đường cong trong hình học vi phân cổ điển nhiều hơn
Anh Khoa is offline   Trả Lời Với Trích Dẫn
Old 28-11-2011, 05:49 PM   #2
99
+Thành Viên+
 
Tham gia ngày: Nov 2007
Bài gởi: 2,995
Thanks: 537
Thanked 2,426 Times in 1,374 Posts
Không rõ Khoa đã làm được chưa? Nếu chưa làm được thì anh sẽ tìm cách gợi ý cho em, vì đây có vẻ là dạng sơ cấp của định lý rất khó : định lý Sard. Định lý Sard rất nên được đọc đầy đủ chứng minh khi còn đang học đại học. Nhờ bài tập này thì ta có thể tiếp cận chứng minh định lý đó dễ dàng hơn (hy vọng thế )
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
99 is offline   Trả Lời Với Trích Dẫn
Old 28-11-2011, 06:47 PM   #3
Anh Khoa
Moderator
 
Anh Khoa's Avatar
 
Tham gia ngày: Oct 2010
Bài gởi: 1,260
Thanks: 380
Thanked 737 Times in 398 Posts
Trích:
Nguyên văn bởi 99 View Post
Không rõ Khoa đã làm được chưa? Nếu chưa làm được thì anh sẽ tìm cách gợi ý cho em, vì đây có vẻ là dạng sơ cấp của định lý rất khó : định lý Sard.
Vì $C $ trơn từng khúc trên nó gồm hữu hạn các đường đi trơn, bốc 1 đường đi trơn $C_1 $ bất kỳ trong đó ra, $C_1 : [a,a_1] \to \mathbb{R}^2 $, $a_1<b $. Đường đi đó gọi là trơn nếu $C_1 $ là hàm trơn trên $[a,a_1] $ hay $C_1 $ khả vi liên tục trên $[a,a_1] $. Khi đó, ảnh $C_1([a,a_1]) $ liên tục trên một miền đóng bị chặn trên $\mathbb{R} $, thì sẽ có thể tích không (diện tích không) trên $\mathbb{R}^2 $.
Em làm vậy cảm thấy không chắc chắn, nếu anh thấy không đúng thì anh gợi ý 1 số hướng khác cho em nhé.
Định lý Sard là gì em không biết nữa
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
[Only registered and activated users can see links. ]

[Only registered and activated users can see links. ]
Anh Khoa is offline   Trả Lời Với Trích Dẫn
The Following User Says Thank You to Anh Khoa For This Useful Post:
phamtoan (28-11-2011)
Old 28-11-2011, 06:58 PM   #4
99
+Thành Viên+
 
Tham gia ngày: Nov 2007
Bài gởi: 2,995
Thanks: 537
Thanked 2,426 Times in 1,374 Posts
Em chưa chứng minh được bài toán, vì cái ý em dùng to ngang bài toán của em. Lần sau ghi rõ hơn nhé, như thế mọi người trao đổi tiết kiệm thời gian và hiệu quả hơn. Bài này không khó, nhưng định lý Sard thì rất khó. Học đại học thì nên biết định lý ý.

Tạm gác lại đã : đầu tiên em xem lại định nghĩa diện tích 0.

Hai là em chứng minh rằng : nếu hình vuông có cạnh $a $ chứa một phần đường cong liên tục độ dài $l $ cắt ít nhất hai cạnh của đối diện của hình vuông, thì diện tích của hình vuông nhỏ hơn hoặc bằng $l^2 $.

Anh đi ăn cơm đã
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
99 is offline   Trả Lời Với Trích Dẫn
The Following 2 Users Say Thank You to 99 For This Useful Post:
Anh Khoa (28-11-2011), phamtoan (28-11-2011)
Old 28-11-2011, 07:42 PM   #5
99
+Thành Viên+
 
Tham gia ngày: Nov 2007
Bài gởi: 2,995
Thanks: 537
Thanked 2,426 Times in 1,374 Posts
Gợi ý trên vẫn hơi mù mờ : em chứng minh ý sau : nếu $f \colon [a,b]\to \mathbb{R}^2 $ là đường cong trơn lớp $C^1 $, không nhất thiết phải đơn, hay chính quy, có độ dài là $l $, thì ta có thể phủ nó = hình vuông có diện tích bé hơn hoặc bằng $l^2 $.

Sau đó ta chia nhỏ đường cong thành các đoạn có độ dài $l_i $, và phủ bởi các hình vuông có diện tích $l_i^2 $. Tổng các diện tích này sẽ tiến tới 0 khi ta chia ngày càng nhỏ đường cong đã cho.

Điều kiện chính quy là không cần thiết, cái ta cần là đường cong này trơn $C^1 $ để nó có tính Lipschitz địa phương và có độ dài.
Về định lý Sard : cho $f\colon \mathbb{R}^n \to \mathbb{R}^m $ là ánh xạ nhẵn (tức là lớp $C^{\infty} $), khi đó tập các giá trị tới hạn (critical value) của $f $ có độ đo 0.
Lưu ý : lớp $C^1 $ vẫn đúng nhưng chứng minh khó. Tập có độ đo 0 ta hiểu theo nghĩa : ta có thể phủ tập đó bởi các hình lập phương (trong $\mathbb{R}^m $) sao cho tổng thể tích của các hình lập phương đó nhỏ tùy ý. Điểm tới hạn, giá trị tới hạn em tìm trên wiki. Định lý này có rất rất nhiều ứng dụng, nên theo ý kiến của anh là nên cho sinh viên đại học biết về nó trong học phần giải tích cổ điển hoặc nâng cao, ít nhất ở dạng dễ nhất.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
99 is offline   Trả Lời Với Trích Dẫn
The Following 2 Users Say Thank You to 99 For This Useful Post:
Anh Khoa (28-11-2011), phamtoan (28-11-2011)
Trả lời Gởi Ðề Tài Mới

Bookmarks

Ðiều Chỉnh
Xếp Bài

Quuyền Hạn Của Bạn
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is Mở
Smilies đang Mở
[IMG] đang Mở
HTML đang Tắt

Chuyển đến


Múi giờ GMT. Hiện tại là 04:33 AM.


Powered by: vBulletin Copyright ©2000-2018, Jelsoft Enterprises Ltd.
Inactive Reminders By mathscope.org
[page compression: 57.40 k/64.36 k (10.82%)]