წერტილები, წრფეები & დუალობა

გეომეტრიის პროგრამის თვითკონგრუენციის მტკიცებულება ტოლფერდა სამკუთხედის თეორემის იყენებს პერსპექტივას, რომელიც არ ჩნდება კლასიკურ ევკლიდური მტკიცებულებებში. შეხედულება: მოცემული ABC სამკუთხედის მოდელი მეორე კონსტრუირებული სამკუთხედზე, აუცილებელია ABC მოდელი თავის თავზე საბაზო წვერების გაცვლით — შესაბამის A↔A, B↔C, C↔B.

ეს არის გეომეტრიული სიმეტრია: ტოლფერდა სამკუთხედი სიმეტრიულია წვერიდან სიმაღლის განმეორების მიმართ. პროგრამამ არ შექმნა ანარეკლი ცალსახად; იგი გამოიყენა შესაბამის აბსტრაქციად.

ამის უკან ყრდენილი ზოგადი პრინციპი არის პროექციული დუალობა: პროექციულ სიბრტყეში, ყოველი თეორემა წერტილებისა & წრფეების შესახებ აქვს დუალური თეორემა, რომელიც მიიღება სიტყვების 'წერტილი' & 'წრფე' მთელი აღმეზობლობის გაცვლით.

დუალობის ლექსიკონი:

- წერტილი ↔ წრფე

- წერტილი დევს წრფეზე ↔ წრფე გადის წერტილზე

- ორი წერტილი განსაზღვრავს უნიკალურ წრფეს ↔ ორი წრფე განსაზღვრავს უნიკალურ წერტილს

- კოლინეარული წერტილები ↔ თანამედროვე წრფეები

თეორემის ერთი მტკიცებულება წერტილებისა & წრფეების შესახებ ავტომატურად აძლევს დუალური თეორემის მტკიცებულებას წრფეების შესახებ — და პირიქით. ორი მტკიცებულება აქვთ იგივე სტრუქტურა, იგივე სიგრძე, & იგივე დასკვნის ნაბიჯები. დუალური პერსპექტივის პოვნა ხშირად ამოიცნობს უმოკლეს მტკიცებულებას ორიგინალის.

დუალობის გამოყენება

დეზარგეს თეორემა: თუ ორი სამკუთხედი პერსპექტივაში არის წერტილიდან (სამი წრფე შესაბამის წვერებით ყველა ხვდება ერთ წერტილში), მაშინ ისინი პერსპექტივაში არის წრფიდან (სამი გადაკვეთა შესაბამის გვერდებთან ყველა დევს ერთ წრფეზე).

ეს თეორემა თვითადამორფული-დუალურია: წერტილებისა & წრფეების გაცვლა იძლევა ზუსტად იგივე თეორემის განცხადებას.

შერჩევის სიხშირე & სიხშირული სივრცე

კომპიუტერული მუსიკის სისტემა ბელ ლაბსში დაფუძნებული იყო ერთ მათემატიკური თეორემაზე: ნიკვისტ-შენონის შერჩევის თეორემა.

განცხადება: ფიქსირებული მაქსიმალური სიხშირის ქვეშ f_max სიხშირე შეიძლება ზუსტად აღდგეს ნიმუშებით, რომელიც აღებული სიხშირით, მინიმუმ 2 × f_max ნიმუშები წამში.

გეომეტრიული ინტერპრეტაცია: ფიქსირებული მაქსიმალური სიხშირის ქვეშ სიგნალი დევს სივრცის სასრული განზომილებიანი ზესივრცეში, რომელიც ყველა უწყვეტი ფუნქციის სივრცის. შერჩევა 2f_max სიხშირით უზრუნველყოფს საკმარის კოორდინატებს, რათა უნიკალურად იდენტიფიცირდეს წერტილი ამ ზესივრცეში.

ალიასინგი: შერჩევის წარუმატებლობის გეომეტრია

ნიკვისტის სიხშირის ქვეშ, სიხშირეები f_max-ის ზემოთ ალიასდება — ისინი ჩნდება ქვედა სიხშირეებად ნიმუშებული სიგნალში. ორი განსხვავებული სიგნალი ხდება განუსხვავრელი შერჩევის შემდეგ. გეომეტრიულად: შერჩევის ოპერატორი პროექტირებს სიგნალის სივრცეს ქვედა განზომილებიანი სივრცეში, რაც იწვევს სხვადსხვა სიგნალების შეჯახებას.

ციფრული აუდიოსთვის (CD ხარისხი): f_max = 22,050 Hz (ოდნავ 20,000 Hz ადამიანის სმენის ზღვრის ზემოთ), შერჩევის სიხშირე = 44,100 ნიმუშები/წამი. ტელეფონისთვის: f_max = 4,000 Hz, შერჩევის სიხშირე = 8,000 ნიმუშები/წამი.

ნიკვისტის სიხშირის გამოთვლები

ნიკვისტის თეორემა განსაზღვრავს მინიმალურ შერჩევის სიხშირეს ინფორმაციის დაკარგვის თავიდან აცილებისთვის.

მტკიცებულების სივრცე & სიგნალის სივრცე: საერთო გეომეტრია

მტკიცებულება-როგორც-გზა და ნიკვისტ-შენონის შერჩევის თეორემა იზიარებენ საერთო გეომეტრიულ სტრუქტურას: ორივე ეხება რაიმე რთული რამის მინიმალური წარმოდგენის პოვნას.

მტკიცებულების მინიმიზაცია: იპოვნეთ უმოკლეს გზა (ყველაზე ნაკლები დასკვნის ნაბიჯი) მტკიცებულების გრაფში ნაგებობიდან დასკვნამდე. თვითკონგრუენციის მტკიცებულება მინიმიზირებული გზის სიგრძე სიმეტრიის ექსპლოატაციით.

სიგნალის შერჩევა: იპოვნეთ მინიმალური რიცხვი ნიმუშების (ყველაზე დაბალი შერჩევის სიხშირე), რომელიც ინახავს ყველა ინფორმაციას ფიქსირებული მაქსიმალური სიხშირის ქვეშ სიგნალში. ნიკვისტის თეორემა მინიმიზირებული წარმოდგენა ფიქსირებული მაქსიმალური სიხშირის ცოდნის ექსპლოატაციით.

ორივე პრობლემა ცხოვრობს სივრცეში სტრუქტურით, რომელიც აშელს მინიმალური წარმოდგენის შედეგებს. ორივე ჩავარდება, როდესაც ეს სტრუქტურა ირღვევა: მტკიცებულებები უფრო გრძელი ხდება, როდესაც აქსიომის სივრცე ცუდად ორგანიზებული; ალიასინგი ხდება, როდესაც სიგნალი არ არის ფიქსირებული მაქსიმალური სიხშირის ქვეშ.