Diễn Đàn MathScope

Diễn Đàn MathScope (http://forum.mathscope.org/index.php)
-   Logic, Tập Hợp, Toán Rời Rạc (http://forum.mathscope.org/forumdisplay.php?f=132)
-   -   Các tập cùng lực lượng (http://forum.mathscope.org/showthread.php?t=51673)

zinxinh 18-02-2018 07:04 AM

Các tập cùng lực lượng
 
Chứng minh tập $\mathbb Z\times\mathbb Z$ là tập đếm được

Thụy An 18-02-2018 02:05 PM

Trích:

Nguyên văn bởi zinxinh (Post 213247)
Chứng minh tập $\mathbb Z\times\mathbb Z$ là tập đếm được

Xét song ánh $\mathfrak{b}:\,\mathbb Z\to\mathbb N$ xác định bởi\[\mathfrak{b}( x ) = \left\{ \begin{array}{l}
2x&\text{nếu}\;x\ge 0\\
- 2x - 1&\text{nếu}\;x< 0.
\end{array} \right.\]
Khi đó có song ánh $\mathfrak B:\,\mathbb Z\times\mathbb Z\to\mathbb N$ xác định bởi\[\mathfrak B\left( {x,\,y} \right) = {2^{\mathfrak{b}( x)}}\left( {2\mathfrak{b}( y ) + 1} \right) - 1.\]

zinxinh 18-02-2018 02:37 PM

Chứng minh tập số đại số là đếm được

portgas_d_ace 18-02-2018 08:01 PM

Theo định nghĩa về số đại số. Số thực $a$ được gọi là một số đại số nếu nó là nghiệm của một phương trình đa thức mà các hệ số là số nguyên. Do đó, ta có lực lượng của tập các số đại số sẽ không lớn hơn lực lượng của tập hợp các đa thức có hệ số nguyên. Mà tập hợp các đa thức có hệ số nguyên là đếm được nên tập hợp các số đại số là đếm được.

zinxinh 18-02-2018 08:37 PM

Chứng minh tập số hàm lên tục bằng R

vankhuekt 20-02-2018 01:34 PM

Trích:

Nguyên văn bởi zinxinh (Post 213251)
Chứng minh tập số hàm lên tục bằng $\mathbb R$.

Phát biểu như thế này là không ổn. Hàm là hàm, làm sao là số được :)

zinxinh 21-02-2018 09:25 AM

A={ hàm số f(x) /sao cho f(x) là hàm số liên tục với mọi x thuộc R}
Chứng minh |A|=R

vankhuekt 21-02-2018 03:02 PM

Trích:

Nguyên văn bởi zinxinh (Post 213265)
A={ hàm số f(x) /sao cho f(x) là hàm số liên tục với mọi x thuộc R}
Chứng minh |A|=R

Phải là |A| = |R| chứ nhỉ?

zinxinh 22-02-2018 04:32 PM

Một hàm số liên tục biến tập liên tục từ R-> R cho một quy tắc từ Q->R ,nó thống kê đầy đủ .Bởi vậy tập giá trị Q sang R sẽ quyết định hàm số f liên tục trên R.Lực lượng RxR sẽ bằng R ,do đó tập số hàm số liên tục trên R có lực lượng R.Do vậy tập hàm liên tục trên R là bằng lực lượng R

Một tập đại số là đếm được hay tập đại số là đánh số được.Vậy tập số không đại số ,hay số siêu việt là không đếm được.Nói một cách khác là nếu trên trục thực ta vu vơ lấy một số,thì số đó là số siêu việt gần như chắc chắn.

LAhpnss 25-02-2018 07:29 AM

Lực lượng, ánh xạ
 
Hai tập được gọi là có cùng lực lượng nếu tồn tại 1 song ánh giữa chúng. Hãy chứng minh rằng:
Lực lượng của tập số thực bằng lực lượng của đoạn thẳng có độ dài dương.
Mọi người giúp em bài này với, em cảm ơn ạ.

Thụy An 25-02-2018 02:05 PM

Trích:

Nguyên văn bởi LAhpnss (Post 213313)
Hai tập được gọi là có cùng lực lượng nếu tồn tại 1 song ánh giữa chúng. Hãy chứng minh rằng:
Lực lượng của tập số thực bằng lực lượng của đoạn thẳng có độ dài dương.
Mọi người giúp em bài này với, em cảm ơn ạ.

Mấu chốt là xây dựng song ánh từ $[0;\,1]$ đến $(0;\,1)$ thôi. Một song ánh như thế, có thể là như sau
\[f\left( x \right) = \left\{ \begin{array}{l}
\frac{1}{2},&\quad\text{nếu}\;x = 0.\\
\frac{1}{2^{k + 2}},&\quad\text{nếu}\;x = \frac{1}{2^k}\;\text{với}\;k\in\mathbb N.\\
x,&\quad\text{nếu}\;x\notin\left\{\frac{1}{2^k}: \;k\in\mathbb N\right\}\cup\{0\}.
\end{array} \right.\]
Song ánh nối $(0;\,1)$ lên $\mathbb R$ thì đơn giản, ví dụ $g(x)=\cot\pi x$.

vnt.hnue 25-02-2018 03:02 PM

Trích:

Nguyên văn bởi Thụy An (Post 213319)
Mấu chốt là xây dựng song ánh từ $[0;\,1]$ đến $(0;\,1)$ thôi. Một song ánh như thế, có thể là như sau
\[f\left( x \right) = \left\{ \begin{array}{l}
\frac{1}{2},&\quad\text{nếu}\;x = 0.\\
\frac{1}{2^{k + 2}},&\quad\text{nếu}\;x = \frac{1}{2^k}\;\text{với}\;k\in\mathbb N.\\
x,&\quad\text{nếu}\;x\notin\left\{\frac{1}{2^k}: \;k\in\mathbb N\right\}\cup\{0\}.
\end{array} \right.\]

Liệu có cách nào khác không anh? Với sinh viên năm nhất chưa học Topology thì có lẽ chưa tiếp cận được cách này.


Múi giờ GMT. Hiện tại là 07:41 PM.

Powered by: vBulletin Copyright ©2000-2019, Jelsoft Enterprises Ltd.

[page compression: 11.90 k/12.94 k (8.00%)]