เนื่องจากการยืนยันในใบเสนอราคาคือชุดของข้อความสั่งเกี่ยวกับการลดขนาดคอลัมน์ของคุณอาจพิสูจน์ได้ทั้งหมดในคราวเดียว อันที่จริงมันไม่ได้ใช้งานอีกต่อไปที่จะพิสูจน์ความเป็นมาตรฐานของการยืนยัน:X
เมื่อถูกขวาคูณโดย invertible เมทริกซ์แล้วประมาณการค่าสัมประสิทธิ์ใหม่เท่ากับเท้าซ้ายทางขวาคูณด้วย1}XAβ^Aβ^A−1
ข้อเท็จจริงเกี่ยวกับพีชคณิตเพียงอย่างเดียวที่คุณต้องการคือ (พิสูจน์ได้ง่ายและเป็นที่รู้จักกันดี) ที่สำหรับเมทริกซ์ใด ๆและสำหรับการฝึกอบรม invertible และB(รุ่นที่ชัดเจนของหลังเป็นสิ่งจำเป็นเมื่อทำงานกับแปรผกผันกันทั่วไปสำหรับ invertible และและใด ๆ ,1} )(AB)′=B′A′AB(AB)−1=B−1A−1ABABX(AXB)−=B−1X−A−1
พิสูจน์โดยพีชคณิต :
β^A=((XA)′((XA))−(XA)′y=A−1(X′X)−(A′)−1A′y=A−1β^,
QED (เพื่อให้การพิสูจน์นี้เป็นแบบทั่วไปอย่างสมบูรณ์ตัวยกหมายถึงสิ่งที่ตรงกันข้ามทั่วไป)−
พิสูจน์ด้วยเรขาคณิต :
ฐานที่กำหนดและของและตามลำดับหมายถึงการแปลงเชิงเส้นจากจะ n การคูณด้วยทางขวานั้นถือว่าเป็นการคงการเปลี่ยนแปลงนี้ไว้แต่การเปลี่ยนเป็น (นั่นคือเป็นคอลัมน์ของ ) ภายใต้การเปลี่ยนแปลงของพื้นฐานที่ว่าตัวแทนของใด ๆเวกเตอร์ต้องเปลี่ยนผ่านทางซ้ายคูณโดย ,EpEnRnRpXRpRnXAEpAEpAβ^∈RpA−1QED
(หลักฐานนี้ใช้งานไม่ได้แก้ไขแม้เมื่อไม่สามารถย้อนกลับได้)X′X
ใบเสนอราคาโดยเฉพาะหมายถึงกรณีของเมทริกซ์ทแยงมุมกับสำหรับและ cAAii=1i≠jAjj=c
เชื่อมต่อกับกำลังสองน้อยที่สุด
วัตถุประสงค์นี่คือการใช้หลักการแรกเพื่อให้ได้ผลลัพธ์โดยมีหลักการที่ว่ากำลังสองน้อยที่สุด: การประมาณค่าสัมประสิทธิ์ที่ลดผลรวมของกำลังสองของการตกค้าง
อีกครั้งการพิสูจน์ความกว้าง (ใหญ่) พิสูจน์ไม่ยากและค่อนข้างเปิดเผย สมมติว่าคือแผนที่ใด ๆ (เชิงเส้นหรือไม่) ของเวกเตอร์พื้นที่จริงและคิดว่าใด ๆ ฟังก์ชั่นมูลค่าจริงใน n ปล่อยให้เป็นชุด (อาจว่างเปล่า) ของคะแนนซึ่งย่อเล็กสุด
ϕ:Vp→Wn
QWnU⊂VpvQ(ϕ(v))
ส่งผลให้เกิด: ซึ่งจะถูกกำหนด แต่เพียงผู้เดียวโดยและไม่ได้ขึ้นอยู่กับทางเลือกของพื้นฐานใด ๆใช้แทนเวกเตอร์ใน PUQϕEpVp
พิสูจน์: QED
ไม่มีอะไรจะพิสูจน์!
แอปพลิเคชันของผลลัพธ์:ให้เป็นรูปสมการกำลังสอง semidefinite เชิงบวกบน , ให้ , และสมมติว่าเป็นแผนที่เชิงเส้นที่แทนด้วยเมื่อฐานของและถูกเลือก กำหนดx) เลือกพื้นฐานของและสมมติว่าเป็นตัวแทนของบางอย่างในพื้นฐานนั้น นี่คือสองน้อยที่สุด :ลดระยะ Squaredx) เพราะFRny∈RnϕXVp=RpWn=RnQ(x)=F(y,x)Rpβ^v∈Ux=Xβ^F(y,x)Xเป็นเส้นแผนที่การเปลี่ยนแปลงพื้นฐานของสอดคล้องกับขวาคูณโดยบางส่วนผกผันเมทริกซ์ ที่จะซ้ายคูณโดย , QEDRpXAβ^A−1