Tải bản đầy đủ (.pdf) (13 trang)

ToanHocTHPTTuyenTapDeThiOLYMPIC2000NguyenHuuDienTap1

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (309.58 KB, 13 trang )

<span class='text_page_counter'>(1)</span><div class='page_container' data-page=1>

<b> </b>


<b> </b>



<b> </b>



<i> Giải tích tốn học. Tập 1</i>. NXB Đại học quốc gia Hà Nội 2007.
<i>Từ khố: </i>Giải tích tốn học, giải tích, tập hợp, số thực, ánh xạ.



<i>Tài liệu trong Thư viện điện tửĐH Khoa học Tự nhiên có thể được sử dụng cho mục </i>
<i>đích học tập và nghiên cứu cá nhân. Nghiêm cấm mọi hình thức sao chép, in ấn phục </i>
<i>vụ các mục đích khác nếu khơng được sự chấp thuận của nhà xuất bản và tác giả. </i>

<b>M</b>

<b>ụ</b>

<b>c l</b>

<b>ụ</b>

<b>c </b>



<b> </b>


<b>Chương 1 Tập hợp và số thực... 2 </b>


1.1 Khái niệm về tập hợp ... 2


1.2 Số thực ... 4


1.3 Ánh xạ... 9


1.4 Bài tập chương 1 ... 11

<i>Chương 1</i>

.

<b>T</b>

<b>ậ</b>

<b>p h</b>

<b>ợ</b>

<b>p và s</b>

<b>ố</b>

<b> th</b>

<b>ự</b>

<b>c</b>



<b> </b>



</div>
<span class='text_page_counter'>(2)</span><div class='page_container' data-page=2>

<b>Ch</b>

<b>ươ</b>

<b>ng 1</b>



<b>T</b>

<b>ậ</b>

<b>p h</b>

<b>ợ</b>

<b>p và s</b>

<b>ố</b>

<b> th</b>

<b>ự</b>

<b>c </b>



<b>1.1</b>

<b>Khái ni</b>

<b>ệ</b>

<b>m v</b>

<b>ề</b>

<b> t</b>

<b>ậ</b>

<b>p h</b>

<b>ợ</b>

<b>p </b>


<b>1.1.1</b> <b>Tập hợp </b>


Cho tập hợp <i>M</i>, để chỉ<i>x</i> là phần tử của tập <i>M </i>ta viết <i>x M</i>∈ (đọc là <i>x</i> thuộc <i>M</i>), để chỉ <i>x</i>
không phải là phần tử của tập M ta viết <i>x M</i>∉ (đọc là <i>x</i> khơng thuộc <i>M</i>).


Tập hợp <i>M</i> chỉ có một phần tử<i>a</i>, kí hiệu là { }<i>a</i> .


Tập hợp <i>M</i> khơng có phần tử nào gọi là tập rỗng, ký hiệu là ∅ .


Cho hai tập <i>A </i>và <i>B</i>. Nếu mỗi phần tử của <i><b>A</b></i>đều là phần tử của <i>B</i> ta nói rằng <i>A</i> là tập con


của <i>B</i> và ta viết <i>A</i>⊆<i>B</i>.


Nếu <i>A</i> là tập con của <i>B</i> và <i>A B</i>≠ ta nói rằng <i>A</i> là tập hợp con thực sự của tập hợp <i>B </i>và
viết là <i>A</i>⊂<i>B</i>. Trong trường hợp này tồn tại ít nhất một phần tử trong <i>B</i> mà không phải là
phần tử của <i>A</i>. Ví dụ như tập hợp các số nguyên ] là tập con của tập hợp các số hữu tỷ _.


Cho <i>A, B, C</i> là ba tập hợp. Khi đó có tính chất sau:


<i>a)</i> ∅ ∈<i>A</i> (1.1.1)
)


)


⊆ ⊆ ⇒


⊂ ⊂ ⇒ ⊂


<i>b</i>


<i>c</i>


vµ = (1.1.2)


vµ (1.1.3)


<i>A</i> <i>B</i> <i>B</i> <i>A</i> <i>A</i> <i>B </i>
<i>A</i> <i>B </i> <i>B</i> <i>C A</i> <i>C. </i>
<b>1.1.2</b> <b> Một số tập hợp thường gặp </b>


Trong các giáo trình đại sốở trường phổ thơng trung học ta đã làm quen với tập hợp các
số tự nhiên `


`={ 0,1,2,…, <i>n</i>,…} (1.1.4)


`*={1,2,… <i>n</i>,…}. (1.1.5)


Để xét nghiệm của phương trình <i>x+n</i> = 0 trong đó <i>n</i>∈` ta đưa thêm tập các số nguyên
]:


{

0, 1, 2,..., ,...

}



= ± ± ±


] <i>n</i> . (1.1.6)


Để xét nghiệm của phương trình <i>mx + n </i>= 0 trong đó ,<i>m n</i>∈] ta đưa thêm tập các số hữu
tỷ _


| , 0,



⎧ ⎫


=<sub>⎨</sub> = ≠ ∈ <sub>⎬</sub>


⎩ ⎭


<i>m</i>


<i>x x</i> <i>n</i> <i>m,n</i>


<i>n</i>


</div>
<span class='text_page_counter'>(3)</span><div class='page_container' data-page=3>

Ta đã biết bốn phép toán cơ sở (cộng, trừ, nhân, chia) của số hữu tỷ và cách sắp xếp
chúng theo độ lớn (nếu <i>a, b</i> là hai số hữu tỷ, thì một trong chúng bé hơn số thứ hai). Tổng
<i>a+b</i>, hiệu <i>a - b</i>, tích <i>a.b</i>, thương <i>a</i> (<i>b</i> 0)


<i>b</i> ≠ của hai số hữu tỷ <i>a,b</i> lại là số hữu tỷ, nhưng với
các phép toán khác nếu chỉ xét trên tập các số hữu tỷ, ta thấy những điều nêu trên không cịn


đúng nữa. Ví dụ phép lấy căn là phép tốn như vậy. Ta hãy tìm căn bậc hai của số 2, tức là
tìm một số <i>x</i> mà bình phương của nó bằng 2. Ta khẳng định rằng khơng có số hữu tỷ nào mà
bình phương của nó bằng 2. Giả sử rằng số hữu tỷ <i>x</i> như vậy tồn tại, ta có thể viết dưới dạng
phân số tối giản <i>p</i>


<i>q</i> , trong đó <i>p</i> và <i>q</i> chỉ có ước số chung là 1± . Khi đó


2


2 2



2 =2; 2=


<i>p</i>


<i>p</i> <i>q</i>


<i>q</i> cho


nên <i>p</i>2 là số chẵn và do đó <i>p</i> cũng là số chẵn, <i>p = 2m</i>, trong đó <i>m</i> là số nguyên, do đó
<i>4m2=2q2, 2m2=q2</i> cho nên <i>q2</i> là số chẵn và vì thế <i>q</i> là số chẵn. Như vậy <i>p,q</i> là các số chẵn,


điều này mâu thuẫn với giả thiết là <i>p,q</i> chỉ có ước chung là 1± . Mâu thuẫn nhận được chứng
minh khẳng định trên.


Từ nguyên nhân này, trong toán học ta đưa thêm vào những số mới, đó là các số vơ tỷ. Ví
dụ vể số vơ tỷ là 2, 3, lg3, π, sin20o…


Tập các số hữu tỷ và các số vô tỷđược gọi là tập các số thực và kí hiệu là \. Như vậy ta
có bao hàm thức:


.
⊂ ⊂ ⊂


` ] _ \ (1.1.8)


<b>1.1.3</b> <b> Các phép toán trên tập hợp </b>


a) Hợp <i>A B</i>∪ của tập hợp <i>A</i> và tập hợp <i>B</i>, đọc là “<i>A</i> hợp <i>B</i>” là tập hợp được định nghĩa
bởi:



{ | }


∪ = ∈ ∈


<i>A B</i> <i>x x A</i>hc <i>x</i> <i>B</i> . (1.1.9)


b) Giao<i>A B</i>∩ của hai tập hợp <i>A</i> và <i>B</i>, đọc là “<i>A</i> giao <i>B</i>” là tập hợp định nghĩa bởi:


{ | }


<i>A B</i>∩ = <i>x x A</i>∈ vµ <i>x</i>∈<i>B</i> . (1.1.10)
c) Hiệu <i>A B</i>| ={ |<i>x x</i>∈<i>A</i> vµ <i>x</i>∉<i>B</i>}. (1.1.11)
Ta nói rằng các tập <i>A </i>và <i>B</i> là rời nhau nếu <i>A B</i>∩ = Φ.


d) Bổ sung <i>CAB</i> của <i>B</i> trong A (<i>B</i>⊆ <i>A</i>) là tập hợp định nghĩa bởi


={ | ∈ vµ ∉ }
<i>A</i>


<i>C B</i> <i>x x</i> <i>A</i> <i>x</i> <i>B</i> (1.1.12)
Phép giao, hợp và bổ sung có các tính chất sau:


i) (<i>A</i>∩<i>B</i>)∩ =<i>C</i> <i>A</i>∩(<i>B</i>∩<i>C</i>) (1.1.13)


ii) (<i>A</i>∪<i>B</i>)∪ =<i>C</i> <i>A</i>∪(<i>B</i>∪<i>C</i>) (1.1.14)


iii) (<i>A</i>∩<i>B</i>)∪ =<i>C</i> (<i>A</i>∪<i>C</i>)∩(<i>B</i>∪<i>C</i>) (1.1.15)


iv) (<i>A</i>∩<i>B</i>)∪ =<i>C</i> (<i>A</i>∩<i>C</i>)∪(<i>B</i>∩<i>C</i>) (1.1.16)



v) <i>A</i>\ ∅ = <i>A</i>, \ A=∅ ∅ (1.1.17)


</div>
<span class='text_page_counter'>(4)</span><div class='page_container' data-page=4>

vii) <i>C<sub>A</sub></i>(<i>B</i><sub>1</sub>∩<i>B</i><sub>2</sub>)=<i>C B<sub>A</sub></i> <sub>1</sub>∪<i>C B<sub>A</sub></i> <sub>2</sub>. (1.1.19)


<b>1.1.4</b> <b> Tích Đề các </b>


Cho hai tập hợp <i>A</i>,<i>B</i> khơng rỗng. Tích Đề các của hai tập hợp <i>A</i> và <i>B</i>, kí hiệu là <i>A</i>×<i>B</i> là
tập hợp các cặp (<i>x,y</i>) trong đó <i>x</i>∈<i>A y</i>, ∈<i>B</i>, đồng thời (<i>x,y</i>)<i>=</i> (<i>a,b</i>) khi và chỉ khi <i>x = a, y = </i>


<i>b</i>.


Như vậy


<i>A</i>×<i>B</i> ={(<i>x,y</i>)| <i>x</i>∈<i>A y</i>, ∈<i>B</i>} (1.1.20)
Thay cho <i>A</i>×<i>A</i> ta viết là <i>A</i>2


Ví dụ: {1,2}×{2,3,4} = {(1,2); (1,3); (1,4); (2,2); (2,3); (2,4)}
Ngoài ra {1,2}2 ={(1,1); (1,2); (2,1); (2,2)}.


<b>1.1.5</b> <b> Các kí hiệu lơgic </b>


Bây giờ giả sử<i>M</i> là một tập hợp và <i>t</i> là một tính chất nào đó của các phần tử của tập <i>M</i>.
Nếu phần tử <i>x</i>∈<i>M</i> có tính chất <i>t</i> ta viết <i>t</i>(<i>x</i>). Gọi <i>c</i>(<i>t</i>) là tập hợp của tất cả các phần tử của tập
<i>M </i>có tính chất <i>t</i>:


<i>c</i>(<i>t</i>) ={ <i>x</i>∈<i>M</i>|<i>x</i> có tính chất <i>t</i>} (1.1.21)
hay


<i>c</i>(<i>t</i>) ={ <i>x</i>∈<i>M</i>|<i>t</i>(<i>x</i>)} (1.1.22)


khi đó nếu


<i>c</i>(<i>t</i>) = <i>M</i>


thì mọi phần tử của <i>M</i>đều có tính chất <i>t</i>, ta nói rằng “với mọi <i>x</i>∈<i>M</i> , <i>x</i> có tính chất <i>t</i>” và ta
viết ∀ ∈<i>x</i> <i>M</i> : <i>t</i>(<i>x</i>) hay ( )


<i>x M</i>∈∀ <i>t x</i> .


Ký hiệu ∀ gọi là ký hiệu phổ biến.


Nếu <i>c t</i>( )≠∅ , thì có ít nhất một phần tử <i>x</i>∈<i>M</i> , <i>x</i> có tính chất <i>t</i>” và viết
: ( ) hay ( )


<i>x M</i>


<i>x</i> <i>M t x</i> <i>t x</i>




∃ ∈ ∃


Ký hiệu ∃ gọi là ký hiệu tồn tại.

<b>1.2</b>

<b>S</b>

<b>ố</b>

<b> th</b>

<b>ự</b>

<b>c </b>



<b>1.2.1</b> <b>Phép cộng và nhân các số thực </b>


Xét tập hợp các số thực \. Ta có thể xác định phép cộng và nhân hai số thực bất kì <i>a</i> và
<i>b</i>. Phép tốn cộng cho tương ứng hai số thực <i>a</i> và <i>b</i> với số thực được ký hiệu là <i>a+b</i>, phép
nhân cho tương ứng hai số thực a và b với số thực được kí hiệu là <i>a.b</i> sao cho thoả mãn các


tính chất sau: Với mọi số thực <i>a,b</i> và <i>c</i>.


</div>
<span class='text_page_counter'>(5)</span><div class='page_container' data-page=5>

b) <i>a+(b+c) = (a+b)+c</i> (tính chất kết hợp),
c) <i>a.b = b.a</i> (tính chất giao hốn ),


d) <i>a(b.c) = (a.b).c</i> (tính chất kết hợp),
e) <i>(a+b).c = a.c+b.c</i> (tính chất phân phối),


f) Tồn tại duy nhất số 0 sao cho <i>a</i>+0 = <i>a</i> ∀ ∈<i>a</i> \,


g) Với mọi <i>a</i>, tồn tại số – <i>a</i> sao cho <i>a </i>+ (−<i>a</i>) = 0,
h) Tồn tại duy nhất số 1≠0 sao cho <i>a</i>.1 = <i>a</i> ∀ ∈<i>a</i> \,


i) Với mọi số<i>a</i>≠0, tồn tại số<i>a</i>-1<sub> sao cho </sub><i><sub>a.a</sub></i>-1<sub>= 1, s</sub><sub>ố</sub><i><sub>a</sub></i>-1<sub> cịn </sub><sub>đượ</sub><sub>c kí hi</sub><sub>ệ</sub><sub>u là </sub>1


<i>a</i>.


<i><b>Chú ý</b></i>: Số (−<i>a</i>) và số<i>a</i>-1 nói trong tính chất g) và i) là duy nhất. Thật vậy, ví dụ như nếu tồn tại


số<i>b</i>≠−<i>a</i> thoả mãn điều kiện <i>a+b</i> =0, thì <i>a+b</i>+ (−<i>a</i>)= −<i>a</i>, từđây <i>a+ (</i>−<i>a)+b</i>=−<i>a</i> hay 0+<i>b</i> = −
<i>a</i> và <i>b= </i>−<i>a</i>, mâu thuẫn.


<b>1.2.2</b> <b>So sánh hai số thực a và b </b>


Cho hai số thực bất kì a và b. Khi đó chỉ có thể xảy ra một trong ba trường hợp sau:
a = b (a bằng b), a > b (a lớn hơn b) hay b > a (b lớn hơn a).


Mệnh đề “=” có tính chất: nếu a=b và b=c thì a=c.
Mệnh đề “>” có tính chất sau: Với mọi số thực a,b và c.
a) Nếu <i>a > b</i> và <i>b > c</i> thì <i>a > c</i>



<i>b)</i> Nếu <i>a > b</i> thì <i>a+c > b+c. </i>
c) Nếu <i>a > </i>0<i>, b > </i>0 thì <i>ab </i>> 0.


Mệnh đề<i>a</i>≥<i>b </i>nghĩa là hoặc <i>a=b</i>, hoặc <i>a>b</i>.


Các mệnh đề<i>a < b</i>, <i>a </i>≤ <i>b</i>, <i>a </i>> <i>b</i>, <i>a </i>≥ <i>b</i>được gọi là các bất đẳng thức. Các bất đẳng thức
<i>a </i><<i>b</i>, <i>a </i>><i>b</i>được gọi là các bất đẳng thức thực sự.


Số thực <i>a</i> thoả mãn bất đẳng thức <i>a</i>>0 được gọi là số dương.
Số thực<i> a</i> thoả mãn bất đẳng thức <i>a</i><0 được gọi là số âm.
<b>1.2.3</b> <b>Tính liên tục của tập hợp số thực </b>


<b>Định lí 1.2.1</b> Giả sử X và Y là hai tập hợp các số thực thoả mãn điều kiện sau:


<i>x</i>≤<i>y</i> ∀ ∈<i>x</i> <i>X</i>,∀ ∈<i>y</i> <i>Y</i> . (1.2.1)
Khi đó tồn tại một số<i>c</i> sao cho


≤ ≤ ∀ ∈ ∀ ∈


<i>x</i> <i>c</i> <i>y</i> <i>x</i> <i>X,</i> <i>y</i> <i>Y</i> . (1.2.2)
Chú ý rằng chỉ có tập hợp các số thực mới có tính chất này. Ví dụ như, giả sử


</div>
<span class='text_page_counter'>(6)</span><div class='page_container' data-page=6>

Y = {<i>y</i> hữu tỉ | <i>y </i>> 2}.


Khi đó đối với mọi <i>x</i>∈<i>X</i> với mọi <i>y</i>∈<i>Y</i> thoả mãn <i>x</i>≤<i>y</i>, nhưng không tồn tại số hữu tỉ<i>c</i>
nào sao cho <i>x</i>≤ ≤<i>c</i> <i>y</i>. Thật vậy, số như vậy chỉ có thể là 2, nhưng 2 khơng phải là số


hữu tỉ.



Trong lý thuyết số vô tỉ người ta chứng minh được rằng với hai số thực bất kì α β, trong
đó α < β ln ln tìm được một số thực và đặc biệt một số hữu tỉ r nằm giữa hai sốđó (và
thành thử có một tập vơ số các số vơ tỉ như vậy nằm giữa α và β).


<b>1.2.4</b> <b> Cận của tập hợp số </b>


Giả sử<i>M</i> là tập hợp số (tức là tập hợp mà các phần tử của nó là những số thực). Tập hợp
<i>M </i>được gọi là bị chặn trên nếu tồn tại một số thực <i>k</i> sao cho




<i>x</i>≤<i>k</i> ∀ ∈<i>x</i> <i>M</i> . (1.2.3)
Số <i>k</i> bất kì có tính chất như vậy được gọi là cận trên của tập <i>M</i>. Do đó tập hợp <i>M</i> là bị


chặn trên nếu có ít nhất một cận trên. Nếu tập <i>M</i> có một cận trên thì nó có vơ hạn cận trên, bởi
vì nếu số<i>k </i>là cận trên thì bất kì số<i>l</i> nào lớn hơn <i>k </i>là cận trên. Một câu hỏi được đặt ra là liệu
có tồn tại số nhỏ nhất trong các cận trên của tập <i>M</i>. Số nhỏ nhất như vậy gọi là cận trên đúng
của tập <i>M</i> và kí hiệu là sup <i>M</i>.


Cận trên đúng của tập <i>M</i> có tính chất sau:


∀ >ε 0, ∃ ∈<i>x</i> <i>M x</i>sao cho > sup<i>M -</i>ε.


Thật vậy, nếu số <i>x</i> như vậy không tồn tại thì số sup<i>M</i>−ε cũng là cận trên và khi đó số


sup<i>M</i> khơng phải là cận trên đúng của tập <i>M</i>. Nói một cách khác, tính chất này nói lên sup<i>M</i>
là số nhỏ nhất trong số các cận trên của <i>M</i>.


<b>Ví dụ 1</b>: Tìm cận trên đúng của tập



1 1 1
{1, , ,..., ,...}.


2 3


<i>M</i>


<i>n</i>
=


<b>Giải</b>: Ta thấy < 1 ≤ ∀ ∈`*


0 1 <i>n</i>


<i>n</i> , vì thế tập hợp <i>M</i> bị chặn trên, dễ thấy số 1 là cận
trên. Ta hãy chứng minh số 1 là cận trên đúng của <i>M</i>. Thật vậy ∀ >ε 0, ta phải tìm được số


tự nhiên <i>n</i> sao cho 1 1


<i>n</i> > −ε . Số n này, ví dụ là <i>n</i> = 1.
<b>Ví dụ 2</b>: sup(0,1) = sup[0,1] = 1.


Bây giờ ta có thểđịnh nghĩa cận trên đúng của tập <i>M</i> một cách khác như sau:
Số sup<i>M</i>được gọi là cận trên đúng của tập <i>M</i> bị chặn trên nếu


a) <i>x</i>≤sup<i>M</i> ∀ ∈<i>x</i> <i>M</i> (1.2.4)


b) ∀ >ε 0, ∃ ∈<i>x</i> <i>M </i>sao cho<i>x ></i>sup<i>M -</i>ε (1.2.5)
Tập hợp số<i>M</i>được gọi là bị chặn dưới, nếu tồn tại số<i>g</i> sao cho





</div>
<span class='text_page_counter'>(7)</span><div class='page_container' data-page=7>

Mọi số<i>g</i> có tính chất này gọi là cận dưới của tập hợp <i>M</i>. Do đó tập <i>M</i> bị chặn dưới, nếu
nó có ít nhất một cận dưới.


Số lớn nhất trong các cận dưới của tập <i>M</i> gọi là cận dưới đúng của <i>M</i> và được kí hiệu là
inf <i>M</i>.


<b>Ví dụ 3</b>: Xét tập <i>M</i>=(<i>a,b</i>)


Hiển nhiên số <i>a</i> và số bất kì bé hơn <i>a</i> là cận dưới của <i>M</i>. Hiển nhiên số <i>a</i> là cận dưới


đúng của tập <i>M</i>, tức là <i>a</i>= inf <i>M</i>.


Tương tự nhưđối với cận trên đúng, cận dưới đúng có tính chất sau:


∀ ∃ ∈ε, <i>x</i> <i>M</i> sao cho <i>x </i>< inf <i>M +</i>ε. (1.2.7)


<b>Ví dụ 4</b>: Xét tập {1, , ,...,1 1 1,...}
2 3


<i>M</i>


<i>n</i>
=


Ta chứng minh rằng số 0 là cận dưới đúng của tập <i>M</i>.
Thật vậy, ∀ >ε 0, ta phải tìm được số tự nhiên <i>n</i> sao cho


< +ε



1


0 ,


<i>n</i> hay < ⇒ >ε ε


1 1


<i>n</i>


<i>n</i> .


Điều này nghĩa là số 0 là cận dưới đúng của tập <i>M</i>, tức là inf <i>M</i> = 0.
<b>Ví dụ 5</b>: inf(0,1) = inf[0,1] = 0.


Trong các ví dụ trên, ta thấy sup <i>M</i>, inf <i>M</i> có thể thuộc <i>M</i>, cũng có thể khơng thuộc <i>M.</i>
<b>Định lí 1.2.2</b>Tập hợp số khơng rỗng bất kì bị chặn trên (dưới) có cận trên (dưới) đúng.


Chứng minh: Giả sử<i>X</i> là tập hợp số không rỗng bị chặn trên. Khi đó tập hợp <i>Y</i> các số là
cận trên của tập <i>X</i> không rỗng. Theo định nghĩa của cận trên suy ra rằng đối với bất kì <i>x</i>∈<i>X</i>
và bất kì <i>y</i>∈<i>Y</i> ta có bất đẳng thức.


<i>x</i>≤ <i>y</i>.


Dựa vào tính chất liên tục của tập hợp các số thực, tồn tại một số<i>c</i> sao cho
≤ ≤ ∀ ∈ ∀ ∈


<i>x</i> <i>c</i> <i>y</i> <i>x</i> <i>X,</i> <i>y</i> <i>Y</i> . (1.2.8)



Từ bất đẳng thức thứ nhất trong (1.2.8) suy ra số c chặn trên tập hợp <i>X</i>, từ bất đẳng thức
thứ hai trong (1.2.8) suy ra c là số bé nhất trong các cận trên của <i>X</i>, tức là cận trên đúng của
tập <i>X</i>.


<b>Ví dụ 6</b>: Chứng minh rằng tập hợp các số nguyên


X= {…,−3, −2, −1,0,1,2,3,…}
không bị chặn trên, cũng không bị chặn dưới, tức là


sup<i>X</i>= +∞ và inf <i>X</i>= − ∞.


Thật vậy, giả sử ngược lại, tập hợp X bị chặn trên. Khi đó theo định lí trên, nó có cận trên


đúng


</div>
<span class='text_page_counter'>(8)</span><div class='page_container' data-page=8>

Theo tính chất của cận trên đúng, đối với ε =1, ta tìm được một số nguyên <i>x</i>∈<i>X</i> sao
cho


<i>x > c</i> – 1


nhưng khi đó <i>x</i>+1> <i>c</i>. Bởi vì <i>x</i>+ ∈1 <i>X</i>, điều này có nghĩa là <i>c</i> không phải là cận trên đúng
của tập hợp <i>X</i>, mâu thuẫn với điều nói ở trên.


<b>Ví dụ 7</b>: Giả sử<i>X</i> và <i>Y</i> là hai tập hợp số. Hãy chứng minh rằng nếu <i>Y</i> ⊂ <i>X</i> thì sup<i>X</i> ≥ sup<i>Y</i>.
Giải: Giả sử sup<i>X </i>= <i>A</i>, sup<i>Y</i> = <i>B</i>. Ta phải chứng minh <i>B</i>≤<i>A</i>. Giả sử ngược lại <i>B </i>> <i>A</i>. Khi


đó dựa vào tính chất cận trên đúng, ∀ > ∃ ∈ε 0, <i>y</i> <i>Y</i> sao cho > <i>y</i> <i>B</i>−ε .


Bởi vì: <i>B</i>−<i> A</i> >0, nên ta có thể lấy ε = <i>B</i>−<i>A</i>. Ta nhận được <i>y </i>><i>B</i>−ε = <i>B</i> –<i>B +A</i>, tức là <i>y</i>
> <i>A</i>.



Nhưng <i>y</i>∈<i>Y</i> và <i>Y</i> ⊂ <i>X</i> nên <i>y</i>∈<i>X</i> , theo định nghĩa sup suy ra <i>y</i>≤ <i>A</i>. Mâu thuẫn nhận


đựơc chứng tỏ rằng <i>B</i>≤ <i>A</i>.


Ta có thể chứng minh khẳng định trên bằng cách khác như sau:
Bởi vì <i>Y</i> ⊂ <i>X</i> nên ∀ ∈<i>x</i> <i>X</i> và ∀ ∈<i>y</i> <i>Y</i> ta có


≤sup , ≤sup


<i>x</i> <i>X</i> <i>y</i> <i>X</i> và <i>y</i>≤sup<i>Y</i>.


Nhưng sup<i>Y</i> là số thực nhỏ nhất trong các cận trên của <i>Y</i> và sup<i>X</i> là một trong số cận trên
của <i>Y</i> nên


sup <i>Y</i>≤sup <i>X.</i>


Nếu tập <i>M</i>đồng thời bị chặn dưới và bị chặn trên, ta gọi là tập bị chặn.


Cuối cùng nếu tập <i>M </i>khơng bị chặn trên, thì ta nói rằng cận trên đúng của tập đó là +∞,
sup <i>M</i> = +∞. Tương tự nếu tập <i>M</i> không bị chặn dưới, ta nói rằng cận dưới đúng của tập đó là
− ∞, inf <i>M</i>=− ∞.


Ví dụ như sup(0,+ ∞) = +∞, inf(− ∞,0)= − ∞.


Giả sử<i>M</i> là tập hợp các số thực, nếu tồn tại một phần tử lớn nhất trong các phần tử của
tập <i>M</i>, thì ta kí hiệu phân tử đó là max<i>M</i>. Tương tự ta kí hiệu phân tử nhỏ nhất của tập <i>M</i> là
min<i>M</i>.


Ví dụ như max{2, –3, –5,0} = 2, min{2,–3, –5,0}=–5,


|<i>x</i>|=max {(–<i>x,x</i>)} ∀<i>x</i>.


<b>1.2.5</b> <b>Trục số thực </b>


Bây giờ ta tìm cách biểu diễn hình học tập các số thực.


Ta lấy một đường thẳng nằm ngang và trên đó ta lấy một điểm 0 nào đó làm gốc. Ta chon
một độ dài thích hợp làm đơn vị và đặt độ dài đó liên tiếp nhau từ điểm 0 sang trái và sang
phải sao cho trải khắp đường thẳng. Ví dụ như số 2 được biểu diễn bằng “điểm 2”, tức là điểm


ở bên phải điểm 0 với khoảng cách 2 đơn vị.


Ta gọi đường thẳng nói trên là đường thẳng thực hay trục số. Bất kỳ một số thực nào
cũng được ứng với một điểm trên đường thẳng thực và ngược lại, bất kì một điểm nào trên


</div>
<span class='text_page_counter'>(9)</span><div class='page_container' data-page=9>

gọi là toạ độ của điểm <i>M</i>. Thông thường người ta không phân biệt “điểm a” nằm trên đường
thẳng thực và số thưc a (là toạđộ của điểm đó).


Tập hợp \ khơng có phần tử cực đại và phần tử cực tiểu, bởi vì đối với một số thực <i>x</i> bất
kì luôn luôn tồn tại hai số y và z sao cho <i>y< x< z</i> (ví dụ<i>y = x </i>−1<i>, z = x+</i>1). Vì thế ta hãy bổ


sung vào tập \ hai phần tử mới mà ta ký hiệu là +∞, − ∞ và ta gọi chung là các điểm vô tận
của trục thực. Ta ký hiệu tập mới xuất hiện như vật là \*. Như vậy là


\*= \∪ {− ∞, +∞}. (1.4.2)


Tập hợp R* ta sẽ gọi là trục thực mở rộng. Cuối cùng ta chú ý thêm là


− ∞ < a < +∞, ∀ ∈<i>a</i> \. (1.4.3)



<b>1.3</b>

<b>Ánh x</b>

<b>ạ</b>



Trong phần này chúng ta sẽ trình bày một vài khái niệm về ánh xạ mà nó rất có ích cho
việc nghiên cứu lý thuyết hàm số sau này.


<b>1.3.1</b> <b>Định nghĩa </b>


Cho hai tập hợp <i>A</i> và <i>B</i>. Ánh xạ từ tập hợp <i>A</i> tới tập hợp <i>B </i>là một quy luật <i>f</i> cho tương


ứng mỗi phần tử <i>x</i>∈<i>A</i> với một và chỉ một phần tử <i>y</i>∈<i>B</i>.
<b>Ví dụ 1</b>: Cho <i>A </i>=<i>B </i>=\<i>.</i>


Qui luật <i>y </i>= <i>x</i>3 cho tương ứng mỗi <i>x</i>∈\ với một và chỉ một <i>y</i>∈\, nên qui luật trên là
một ánh xạ từ \ tới \.


<b>Ví dụ 2</b>: Cho <i>A </i>=<i> B</i>= {<i>x</i> |<i>x</i>∈\, <i>x</i>≥0}.


Qui luật <i>y</i>= <i>x</i> cho tương ứng mỗi <i>x</i>∈<i>A</i> với một và chỉ một <i>y</i>∈<i>B</i>, nên là một ánh xạ
từ<i>A</i> tới <i>B</i>


Để diễn tả<i>f</i> là ánh xạ từ tập hợp <i>A </i>tới tập hợp <i>B</i> ta viết <i>f: A</i>→<i>B</i> hay ⎯⎯→<i>f</i>


<i>A</i> <i>B</i> và gọi


<i>A</i> là tập xác định của ánh xạ<i>f.</i>


Phần tử <i>y</i>∈<i>B</i> tương ứng với <i>x</i>∈<i>A</i> bởi qui luật <i>f</i> gọi là ảnh của <i>x</i> và <i>x </i>được gọi là
nghịch ảnh của <i>y</i> và ta viết:


( ) hay ( )



<i>y</i>= <i>f x</i> <i>x</i>6 <i>y</i>= <i>f x</i> .
Ta gọi tập


( )={ | = ( ), ∈ }


<i>f A</i> <i>y y</i> <i>f x x</i> <i>A</i> (1.3.1)


hay


( )={ | ∃ ∈ , = ( )}


<i>f A</i> <i>y</i> <i>x</i> <i>A y</i> <i>f x</i> (1.3.2)


là ánh xạ của tập <i>A </i>qua ánh xạ<i>f</i>.


</div>
<span class='text_page_counter'>(10)</span><div class='page_container' data-page=10>

<b>Ví dụ 3: </b>Ánh xạ cho bởi qui luật <i>f x</i>( )=sin , <i>x x</i>∈\ là ánh xạ tập \ tới tập \ và đồng thời
ánh xạ tập \ lên tập hợp tất cả các số thực y sao cho − ≤ ≤1 <i>y</i> 1.


Nếu như <i>M</i> ⊂` ⊂ <i>A</i> thì <i>f M</i>( )⊆ <i>f</i>( )` . (1.3.3)


<b>1.3.2</b> <b>Đơn ánh, song ánh </b>


Ánh xạ <i>f</i> : <i>A</i>→<i>B</i> gọi là ánh xạđơn ánh nếu


1 2 1 2


( ) ( )


<i>f x</i> = <i>f x</i> ⇒ <i>x</i> = <i>x</i> (1.3.4)


ví dụ như ánh xạđược cho bởi sin<i>x</i> là đơn ánh từ tập hợp { | 0 }


2


∈\ < <


<i>x</i> <i>x</i> π lên tập hợp


{<i>y</i>∈\| 0< <<i>y</i> 1}.
<b>Ví dụ 4: </b>Xét ánh xạ cho bởi qui luật 2


<i>y</i>= <i>x</i> . Vì phương trình <i>y</i>= <i>x</i>2, <i>y</i>∈\ có hai nghiệm
khác nhau <i>x</i>1 và <i>x</i>2 nếu <i>y </i>> 0, có nghĩa là <i>f</i>(<i>x</i>1) = <i>f</i>(<i>x</i>2) nhưng <i>x</i><sub>1</sub> ≠ <i>x</i><sub>2</sub>, vậy ánh xạ này không


phải là đơn ánh.


Ánh xạ <i>f</i> : <i>A</i>→<i>B</i> gọi là một song ánh nếu nó vừa là đơn ánh vừa là tồn ánh.
<b>Ví dụ 5: </b>Ánh xạ <i>f</i> :\→\ cho bởi qui luật <i>y</i>= <i>x</i>3 là một song ánh


<b>Ví dụ 6: </b>Ánh xạ <i>f</i> :\→\+ cho bởi qui luật <i>y</i>=<i>x</i>2 không phải là song ánh, nhưng ánh xạ


:\+ →\+


<i>f</i> cho bởi qui luật <i>y</i>=<i>x</i>2 là một song ánh.


<b>Ví dụ 7: </b>Cho <i>x</i>∈\, [<i>x</i>] ký hiệu phần nguyên của <i>x</i> (nghĩa là [<i>x</i>] là số nguyên lớn nhất không
lớn hơn <i>x </i>chẳng hạn [−4,5] =−4; [2] = 2; [2,5] = 2; [2,7] = 2). Ta có [<i>x</i>]≤<i>x</i>≤[<i>x</i>]+1.


Ánh xạ <i>f</i> :\→] cho bởi qui luật <i>y</i>=[<i>x</i>] không phải là song ánh.



<b>1.3.3</b> <b>Ánh xạ ngược </b>


Giả sử<i>f </i>là một ánh xạ tập hợp <i>A</i> lên tập hợp <i>B</i>. Khi đó ứng với mỗi phần tử có một và chỉ


một <i>x</i>∈<i>A</i> sao cho<i>y</i>= <i>f x</i>( ). Ánh xạ cho tương ứng phần tử <i>y</i>∈<i>B</i> với phần tử <i>x</i>∈<i>A</i> sao
cho <i>y</i>= <i>f x</i>( ) gọi là ánh xạ ngược của ánh xạ<i>f</i> kí hiệu là <i>f</i>−1.


Như vậy <i>f</i> 1 <i>B</i> <i>A</i>


:


− <sub>→</sub>


</div>
<span class='text_page_counter'>(11)</span><div class='page_container' data-page=11>

<b>Hình 1.3.1 </b>


<b>Ví dụ 8: </b>Nếu <i>A</i> là tập hợp các vòng tròn đồng tâm nằm trên cùng một phẳng và <i>f(x)</i> là bán
kính của vịng trịn <i>x,</i> khi đó <i>f</i> là ánh xạđơn trị tập <i>A</i> lên tập các số thực dương. Khi đó ánh xạ


ngược <i>f</i>−1 tương ứng một số thực dương <i>x</i> với vòng trịn nằm trong tập <i>A</i> mà bán kính của nó
là <i>x</i>.


<b>1.3.4</b> <b>Hợp (tích) của hai ánh xạ </b>
Cho hai ánh xạ:


: vµ :


<i>g M</i> → <i>A</i> <i>f</i> <i>A</i>→<i>B</i>.
Xét ánh xạ từ tập <i>M</i> tới tập hợp <i>B</i>được xác định như sau:


( ( ))



<i>x</i>∈<i>M</i> → =<i>z</i> <i>f g x</i> ∈<i>B</i>. (1.3.6)
Ánh xạ này gọi là hợp của ánh xạ g và ánh xạ<i>f</i> (hay tích của g và <i>f </i>), ký hiệu là <i>f</i> D <i>g</i>


Như vậy


:


<i>f</i> D<i>g M</i> →<i>B</i>


( ) ( ( )),


<i>f</i> D<i>g x</i> = <i>f g x</i> <i>x</i>∈<i>M</i> . (1.3.7)
<b>Ví dụ 9: </b>Ánh xạ cho bởi qui luật sin<i>x</i>2, <i>x</i>∈R là hợp của ánh xạ trong cho bởi qui luật <i>x</i>2,


∈\


<i>x</i> và ánh xạ ngoài được cho bởi qui luật sin<i>y</i>, <i>y</i>∈\


Ánh xạ sin2<i>x</i>, <i>x</i>∈\ là hợp của ánh xạ trong cho bởi sin<i>x</i>, <i>x</i>∈\ và ánh xạ ngoài cho bởi
<i>y</i>2, <i>y</i>∈\.


<b>1.4</b>

<b>Bài t</b>

<b>ậ</b>

<b>p ch</b>

<b>ươ</b>

<b>ng 1 </b>


<b>1.1</b>Cho a là số vô tỉ, <i>r</i> là số hữu tỉ


1) Hãy chứng minh rằng <i>a+r</i> và <i>a</i>−<i> r</i> là các số vô tỉ


2) Giả sử <i>r</i> ≠0 hãy chứng minh rằng các số <i>ar</i>,<i>a r</i>,


<i>r a</i> là các số vô tỉ.



</div>
<span class='text_page_counter'>(12)</span><div class='page_container' data-page=12>

( , ) |= − |


<i>d a b</i> <i>a</i> <i>b</i> là khoảng cách giữa hai điểm <i>a</i> và <i>b</i> của trục số
Hãy chứng minh rằng


1) <i>d</i>(<i>a,a</i>) = 0


2) <i>d</i>(<i>a,b</i>)>0 khi <i>a</i>≠<i>b</i>
3) <i>d</i>(<i>a,b</i>) =<i>d</i>(<i>b,a</i>)


4) <i>d</i>(<i>a,b</i>) + <i>d</i>(<i>b,c</i>)≥<i>d a c</i>( , ).


<b>1.3</b>Hãy chứng minh mệnh đề “tập hợp <i>M</i> ⊂\ là bị chặn khi và chỉ khi tồn tại số thực r>0


sao cho: |<i>x</i>|≤<i>r</i> ∀ ∈<i>x</i> <i>M</i> .


<b>1.4</b>Cho <i>X</i> ⊂\. Định nghĩa: (−<i>X</i>) = {−<i>x</i>|<i>x</i>∈<i>X</i>}
Hãy chứng minh:


1) inf(−<i>X</i>) = −sup <i>X </i>
2) sup(−<i>X</i>)= −inf <i>X</i>


<b>1.5</b>Cho <i>X Y</i>, ⊂\. Định nghĩa


<i>X+Y</i> = {<i>a</i>∈R| ∃ ∈<i>x</i> <i>X</i>,∃ ∈<i>y</i> <i>Y a</i>, = +<i>x</i> <i>y</i>}


{ R| , , }


<i>XY</i> = <i>a</i>∈ ∃ ∈<i>x</i> <i>X</i> ∃ ∈<i>y</i> <i>Y a</i>=<i>xy</i>



Nghĩa là <i>X+Y</i> là tập hợp các số thực có dạng <i>x+y </i>với <i>x</i>∈<i>X y</i>, ∈<i>Y</i> , cịn <i>XY</i> là tập hợp
các số thực có dạng <i>xy</i> với <i>x</i>∈<i>X y</i>, ∈<i>Y</i>.


1) Giả sử<i>X,Y</i> bị chặn trên, chứng minh:
sup(<i>X+Y</i>) = sup<i>X</i>+ sup<i>Y</i>


2) Giả sử<i>X, Y</i> bị chặn dưới, chứng minh:
inf(<i>X+Y</i>) = inf <i>X</i> + inf <i>Y</i>


3) Giả sử<i>X, Y</i> bị chặn trên, <i>X</i> ⊂\+,<i>Y</i> ⊂\+.


Chứng minh: sup(<i>XY</i>)= (sup <i>X</i>)(sup <i>Y</i>)
4) Giả sử<i>X,Y</i> bị chặn dưới, <i>X</i> ⊂\+,<i>Y</i> ⊂\+.
Chứng minh: inf(<i>XY</i>) = (inf <i>X</i>)(inf <i>Y</i>).


<b>1.6</b>Giả sửφ ≠`⊂<i><sub>M</sub></i> ⊂\*<sub>. Ch</sub><sub>ứ</sub><sub>ng minh r</sub><sub>ằ</sub><sub>ng: </sub>


inf<i>M</i> ≤inf`≤sup`≤sup<i>M</i> .


<b>1.7</b>Cho <i>A</i>⊂\ và <i>F</i> ={ |<i>f</i> <i>f</i> :<i>A</i> → <i>A</i>}. Chứng minh rằng nếu <i>f,g,h</i>∈<i>F</i> và <i>i</i> là ánh xạ đồng
nhất trên tập <i>A</i>, tức là <i>i</i>(<i>x</i>) =<i>x</i>, ∀<i>x</i>∈<i>A</i> thì:


1) (<i>f</i> D <i>g</i>)D<i>h</i> = <i>f</i> D(<i>g h</i>D ),
2) <i>f</i> D<i>i</i> = <i>f</i> .


</div>
<span class='text_page_counter'>(13)</span><div class='page_container' data-page=13>

* <sub>{ |</sub> <sub>:</sub>


<i>F</i> = <i>f</i> <i>f</i> <i>A</i>→ <i>A</i> và <i>f</i> là đơn ánh}
Chứng minh rằng nếu <i>f,g</i>∈F* thì


1) <i>f</i> D<i>g</i>∈<i>F</i>*


</div>

<!--links-->

×