:כן - שים לב לקשר המעניין בין אי-שוויון קושי שוורץ לאי-שוויון (שוויון פרסבל) בסל...
::בסדר, אז איך מוכיחים ששיוויון פרסבל גורר שהם ת"ל?
:::שוויון פרסבל גורר שהוקטור שייך למרחב שהקבוצה האורתונורמלית שלך פורסת. באי"ש קושי שוורץ מדובר בשני וקטורים, ולכן מבטאים את אי-שוויון בסל עם וקטור, ועוד קבוצה אורתונורמלית שמכילה וקטור חלקיי הנורמה שלו (בהנחה שהוא לא 0), כך שאתה מקבל שאם מתקיים שוויון פרסבל מתקיים שהוקטור הראשון שייך לספאן של הוקטור השני חלקי הנורמה שלו.
==שאלה - ריבוי אלגברי==
איך אני מגדיר ריבוי אלגברי בצורה "יפה"? האם מספיק לומר שהריבוי האלגברי של ערך עצמי a מוגדר להיות המעלה k של <math>(x-a)^k</math> בפולינום האופייני של המטריצה?