Professional Documents
Culture Documents
ლექცია 6 კონსპექტი
ლექცია 6 კონსპექტი
1. იგივეობრივი ქვესიმრავლე
K და L სიმრავლე ერთმანეთის იგივეობრივი მაშინ და მხოლოდ მაშინ, როდესაც ისინი ზუსტად
ერთი და იმავე ელემენტებისგან შედგებიან .
K=L
როდესაც ვამბობთ, რომ ,,K სიმრავლე ქვესიმრავლეა L სიმრავლისა“, ვგულისხმობთ, რომ ერთი
სიმრავლის ყოველი ელემენტი არის აგრეთვე ელემენტი მეორე სიმრავლისა .
K L
ამ განსაზღვრებიდან ჩანს, რომ როდესაც ერთი სიმრავლე მეორე სიმრავლის ქვესიმრავლეა ,
ისინი შეიძლება ერთმანეთის იგივეობრივი იყვნენ.
მაგ. ადამიანთა სიმრავლე მეტყველ არსებათა ქვსეიმრავლეა, მაგრამ თუ K სიმრავლე
Lსიმრავლის ქვესიმრავლეა, შეიძlება L ისეთ ელემენტებსაც შეიცავდეს, რომლებიც პირველ
სიმრავლეს არ ეკუთვნიან, ასეთია, მაგ. სტუდენტთა და ადამინთა სიმრავლეები. ყველა სტუდენტი
ადამიანია, მაგრამ ყველა ადამიანი სტუდენტი არ არის. ასეთ შემთხვევაშ ვამბობთ , რომ K მკაცრი
ქვესიმრავლეა L-ისა, ან რომ მკაცრადაა ჩართული L-ში (K L).
ოპერაციები სიმრავლეებზე
1) გაერთიანება (შეერთება) შეკრება (ყველა ელემენტი ერთად)
2) კვეთა, ანუ გამრავლება (მხოლოდ საერთო ელემენტები)
3) სხვაობა (გამოკლება) (არასაერთო ელემენტები)
4) დამატება (შევსება) (მაგ. თუ უნივერსალურ სიმრავლედ ავიღებთ ადამიანთა სიმრავლეს, მაშინ
სტუდენტღა სიმრავლის დამატება (შევსება) იქნება ყველა არასტუდენტი ადამიანის სიმრავლე
და არა ყველაფრის, რაც სტუდენტი არ არის.
მაგ. თუ R წინადადება ტოლფასია P-სი, ხოლო P R-ის, მაშინ P ტოლფასია R-ის, ან თუ 1<2 და 2 < 3,
მაშინ 1< 3 (ტრანზიტული)
მაგრამ თუ A დედაა B-სი, ხოლო B დედაა C-სი , მაშინ A არ იქნება C-ს დედა (ბებია იქნება).
არსებობენ მიმართებები, რომლებიც არც ტრანზიტულები არიან და არც ინტრანზიტულები . მაგ .თუ
a მეგობარია b-სი, ხოლო b, თავის მხრივ მეგობარია c-სი აქედან არც ის გამოდის, რომ a
მეგობარია c-სი და არც ის, რომ a არ არის c-ს მეგობარი - შეიძლება ასეც იყოს და ისეც.
მაგ. ყოველი წრფე თავისი თავის პარალელურია, ყოველი წინადადება თავისი თავის ტოლფასია ,
ყოველი სიმრავლე თავისი თავის ქვსეიმრავლეა და ა.შ. ანუ იგივეობის, პრალელურობის,
ტოლფასობის, ქვესიმრავლეობისა და მოვლენათა ერთდროულობის მიმართებები რეფლექსური
მიმართებებია.
მაგრამ არცერთი ადამიანი თავის თავის მშობელი არაა; 1 არ არის ნაკლები 1-ზე.
მშობლების, ნაკლებობის, პერპენდიკუულარობის მიმართებები ირეფლექსურია .