ამ თავში ასახვის მხოლოდ ნულის მიდამოში მისი თვისება გვაინტერესებს ამიტომ შემდგომში არ განვასხვავებთ ასახვებს თუ ნულთან ახლოს ტოლებია. საერთოდ ვიხმართ ტერმინს ასახვა თუ მხოლოდ წრფივი სივრცის ნულის მიდამოშია განსაზღვრული.
ამ თავში შემდგომში მხოლოდ ლოკალურ ასახვებთან გვექნება საქმე ამიტომ ასახვაში ყოველთვის ვგულისხმობთ მხოლოდ მის რაიმე მიდამოში განსაზღვრულ ნაწილს.
ასახვის დიფერენციალის განსაზღვრისათვის საჭიროა ჩამოყალიბდეს ასახვისა და წრფივი ასახვის სიახლოვის ცნება, რათა ზოგიერთ შემთხვევაში გამოვიყენოთ უფრო მარტივი შემცვლელი წრფივი ასახვა. ეს იდეა, რაიმე ობიექტის მარტივით ჩანაცვლება, საკმაოდ ძველია და ბუნებრივიც. ობიექტსა და მის შემცვლელს შორის განსხვავების დახასიათებისათვის ბერძნები ხმარობდენო სიტყვას απειρον (α πειραρ - ბოლო, დასასრული რომ არა აქვს). სხვაობა იმდენად მცირეა, რომ ვერც იზომება, ყოველგვარ მცირე რიცხვზე ნაკლებია. მას ზოგჯერ უსასრულოდ მცირედაც მოიხსენიებენ.
ანუ თუ გვინდა ანასახი არგუმენტზე k-ჯერ მცირე იყოს 1, საჭიროა თვით არგუმენტი შევამციროთ (გასაგებია, რომ მიდამოც უნდა შეიცვალოს, შემცირდეს). თუ ნებისიერი k-სათვის ეს შესაძლებელია, ასახვას ვუწოდებთ მცირეს. ეს ცნება გვჭირდება რათა იყოს ერთი ასახვის მეორე ასახვით შეცვლის შესაძლებლობა. ეს ცვლილება დასაშვებია თუ მათ შორის სხვაობა მცირეა.
ნულის მიდამოს შემცირებით მიიღწევა, რომ მისი ვექტორის ანასახის ნორმა თვით ვექტორის ნორმაზე რამდენჯერაც გვინდა იმდენჯერ ნაკლები მივიღოთ. გასაგებია ვგულისხმობთ, რომ შემცირებული მიდამო X შედის α-ს განსაზღვრის არეში, 0 ასახვა α-ს განსაზღვრის არის შიდა ლასსშემდგომში გარკვეულობისათვის მცირე ასახვა ბერძნული ასოთი აღვნიშნოთ.
თვით განსაზღვრებიდან ნათლად ჩანს, რომ მცირე ასახვა უწყვეტია ნულში, მაგრამ, შესაძლოა არა მის მიდამოში. ასევე ნათელია, რომ ამ ასახვით ნულის ანასახი ნულია.
ასახვას ნამდვილ რიცხვთა სიმრავლეში, ჩვეულებრივ, ფუნქციას უწოდებენ. ასახვის სიმცირეს მარტო რიცხვზე გამრავლება არ ინარჩუნებს. სიმცირე შენარჩუნდება თუ მცირე ასახვას გავამრავლებთ შემოსაზღვრულ ფუნქციაზე, ანუ ფუნქციაზე, რომელიც მცირე მიდამოში რაიმე რიცხვზე ნაკლებია.
ნებისმიერი ვექტორისა და ნებისმიერი მცირე მიდამოსათვის მოიძებნება საკმაოდ დიდი რიცხვი რომელზეც ვექტორის განაყოფი შევა ამ მცირე მიდამოში. თუ ასახვა α მცირეცაა და წრფივიც, გვექნება
|(s • k)α| = |(sα) • k| = |sα| • k < |s|
ანუ ნებისმიერი ვექტორის ანასახის ნორმა რაგინდ მცირეა. ანუ ნულია. დავამტკიცეთ
სასრული განზომილების წრფივი სივრცე უსასრულო განზომილების წრფივი სივრცისაგან იმითაც განსხვავდება რომ წრფივი ფუნცია, ანუ ფუნქციონალი სასრული განზომილების სივრციდან ნულის შემოსაზღვრულ მიდამოში შემოსაზღრულიცაა. უსასრულო განზომილების სივრციდან კი მარტივად აიგება შემოუსაზღვრავი ფუნქციონალი. ამ შენიშვნიდან კი დასკვნა.
ვთქვათ წრფივ სივრცე S-ში განსაზღვრულია სკალარული გამრავლება. ასახვა
s → ‹s, s› მცირეა. ეს ფაქტიურად ტავტოლოგიაა, დაუკვირდით მიდამოს არჩევანს. თუ მიდამოდ ავირჩევთ 1 / k-ზე ნაკლები სიგრძის ვექტორებს, ანუ იმ ვექტორს რომლის ‹s, s› მცირეა, მაშინ
ვთქვათ E და F წრფივი სივრცეებია. ვიგულისხმოთ რომ ორივე სასრული განზომილებისაა. განვიხილოთ E-ს ნულის მიდამოს ასახვები F-ში პირობით: ნული გადადის ნულში. ამ სიმრავლეში შემოვიტანოთ მიმართება: ორი ასახვა ექვივალენტურია თუ მათი სხვაობა მცირე ასახვაა. ამ გაიგივების შედეგად მიღებული ფაქტორ სივრცე წრფივი სივრცეა.
რადგან წრფივი სივრცე რომელიდანაც ვიხილავთ ასახვებს სასრული განზომილებისაა ამიტომ ყოველი წფრივი ასახვა შემოსაზღვრულია და გვაქვს ჩადგმა Lin(E, F) ⊂ N(E, F). უფრო მეტიც, ორი განსხვავებული წრფივი ასხვა ექვივალენტური ვერ იქნება, ანუ მცირე ასახვებით ექვივალენტობის კლასში არის მხოლოდ ერთი წრფივი ასახვა. ეს შედეგია იმისა რომ წრფივი და მცირე
შეუთავსებელი ცნებაა.
წრფივ ასახვათა ექვივალენტურ ასახვათა სიმრავლე
დიფერენცირებად ასახვებად იწოდებიან. ასახვის ექვივალენტური წრფივი ასახვა კი მისი დიფერენციალია.
ჩამოვაყალიბოთ ძირითადი დასკვნა. წრფივი სივრცე E-დან წფივ სივრცე F-ში ლოკალურ ასახვათა სიმრავლე წრფივი სივრცეა. მცირე ასახვათა სიმრავლე მისი წრფივი ქვესივრცეა. ამ ქვესივრცის მიმართ ყოველ შრეში მხოლოდ ერთი წრფივი ასახვაა. წრფივ ასახვათა შემცველ შრეთა გაერთიანება ნულში დიფერენციალის მქონეთა წრფივი ქვესივრცეა. ასახვის შრეში მყოფი წრფივი ასახვა მისი დიფერენციალია.
წრფივი სივრცე E-დან წრფივ სივრცე F-ში ლოკალური ასახვა ვუწოდოთ ასახვას ნულის ნებისმიერი
მიდამოდან F-ში ასახვას თუ ნულს ნულში გადაიტანს. ორი ამგვარი ასახვა ჩავთვალოთ ტოლებად თუ ნულის რაიმე მიდამოში მათი მნიშვნელობები ტოლია.
წრფივი სივრცე E-დან წრფივ სივრცე F-ში ასახვა α-ს ვუწოდოთ მცირე თუ ყოველი ნატურალური რიცხვი k-სათვის არსებობს ნულის მიდამო X ისეთი რომ
მცირე ასახვათა სიმრავლე წრფივი სივრცეა
ვთქვათ α და β მცირე ასახვებია. სთანადო მიდამოთა თანაკვეთით მოვძებნით ნულის ისეთ მიდამოს, რომელშიც
შემოსაზღვრული ფუნქციისა და მცირე ასახვის ნამრავლი მცირე ასახვაა
ვთქვათ α მცირე ასახვაა, ხოლო f კი ფუნქცია შემოსაზღვრული რიცხვით а. ყოველი ნატურალური რიცხვი k-სათვის არსებობს ნულის მიდამო, რომელიც შეესბამება k • a-ზე მეტ ნატურალურ რიცხვს, მისი ვექტორისათვის
მხოლოდ ნულოვანი ასახვაა წრფივიც და მცირეც
წრფივი ასახვის ნამრავლი მცირე ფუნქციაზე მცირე ასახვაა
ვთქვათ f წრფივი ასახვაა. განვიხილოთ ასახვა s → |sf|. ვაჩვენოთ რომ ეს ასახვა შემოსაზღვრულია. ავიღოთ ნულის მიდამოდ ნორმით 1-ზე ნაკლებ ვექტორთა სიმრავლე. ამ სიმრავლის ვექტორისათვის გვექნება |sf| < |s| • |f| < |f|. დანარჩენი ნათელია.
სასრული განზომილების სივრციდან წრფივი ფუნქციის (ფუნქციონალის) ნამრავლი წრფივ ასახვაზე მცირე ასახვაა
ვთქვათ f წრფივი ასახვაა, ხოლო g წრფივი ფუნქცია. განვიხილოთ ნამრავლი g • f. საჭიროა ვაჩვენოთ რომ არსებობს მიდამო რომელშიც k • |s(g • f)| < |s|. მიდამოდ ავიღოთ, რომელშიაც |s| < 1 / (k • |g| • |f|). გვექნება
მცირე ასახვის კომპოზიცია წრფივ ასახვასთან მცირე ასახვაა
ვთქვათ f წრფივი ასახვაა, ხოლო α მცირე ასახვა. თუ მიდამოდ ავიღებთ k • |f|-ზე მეტი ნატურალური რიცხვისათვის შესაბამისს, გვექნება
ყველაზე მარტივი და ყველაზე საჭირო მაგალითებია მცირე ასახვები ნამდვილ რიცხვთა ველიდან თავის თავში.
განვიხილოთ ასახვა R → R, x → r • xm. თუ m = 1, ეს ასახვა წრფივია და მცირეა მხოლოდ მაშინ თუ r = 0. ვთქვათ m > 1. მოცემული k-სათვის ავირჩიოთ ნატურალური რიცხვი n მეტი k • |r|-ზე, მიდამოდ 1 / n-ზე ნაკლები სიგრძის ვექტორთა სიმრავლე. გვექნება