Ortogonal
Angelu zuzenari dagokiona; angelu zuzena osatzen duena. Bektoreez mintzatuz, beste bektore batekiko perpendikularra dena da ortogonala.
Matematikan, perpendikular kontzeptu geometrikoaren orokortze bat da.
Etimologikoki, greko zaharretik dator (ὀρθός orthos), hau da, "zuzena" esan nahi du, eta (γνία gonia), angelua esan nahi baitu.
Bektoreen esparruan
aldatuBi bektore eta ortogonalak dira beren barne biderketa (biderketa eskalarra) zero bada.
Bi azpiespazio bektorial eta ortogonalak dira baldin eta -ko bektore bakoitza -ko bektore guztientzat ortogonala bada .
aplikazio lineala ortogonala deritzo, eraldatutako bektoreen produktu eskalarra mantentzen badu. Hau da, bektore bikoteek haien eta bektoreen arteko angelua gordetzen badute.
Ortogonalitatea espazio bektorial euklidearretan
aldatuBi edo hiru dimentsioko espazio euklidear batean, bi bektore ortogonalak dira euren produktu edo biderketa eskalarra nulua bada, hau da, haien artean angelu zuzena egiten badute.
Hiru dimentsiotan zuzen baten osagarri ortogonala planoa da eta alderantziz
Lau dimentsioko espazio euklidear batean zuzen baten osagarri ortogonala hiperplanoa da eta alderantziz eta plano batena beste plano bat.
Adibidea
aldatu(1, 0, 0), (0, 0, 1) eta (0, -1, 0) bektoreak elkarren artean ortogonalak dira. Bitik biren biderketa eskalarra eginez egiaztatu daiteke. Emaitza beti 0 izango da. Gainera, guztiek modulu unitarioa dutenez, bektore multzo honek oinarri ortonormala osatzen du.
Funtzio ortogonalak
aldatuf eta g bi funtzioen artean biderketa eskalarra bat defini daiteke forma honetan:
non pisu (edo haztapen) funtzio ez-negatiboa da.
Funtzioak ortogonalak direla esaten da haien biderketa eskalarra zero bada:
Adibideak
aldatu- (2 t + 3) eta (5 t ² + t - 17/9) funtzio koadratikoak ortogonalak dira -1 eta 1 arteko tarteko pisu unitarioa duen funtzio batekiko:
- Funtzio hauek (1), (sin( nx)), (cos(nx)) : n = 1, 2, 3, ... ortogonalak dira Lebesgueren metrikarekiko 0 eta 2π arteko tartean. Hau da Fourier seriearen oinarri teorikoa.
- Hainbat polinomio serie polinomio ortogonalak dira. Zehazki:
- Hermite-polinomioak ortogonalak dira 0 itxaropen matematikoko banaketa normalarekiko .
- Legendre polinomioak ortogonalak dira −1 eta 1 arteko tarteko banaketa uniformearekiko .
- Laguerre polinomioak ortogonalak dira banaketa esponentzialarekiko edo gamma funtzioarekiko .
- Lehen motako Chebyshev polinomioak ortogonalak dira funtzioarekiko
- Bigarren motako Chebyshev polinomioak ortogonalak dira Wigner funtzio erdizirkularraren aldean.
Estatistika
aldatuAnalisi estatistikoan, emaitza batean eragina duten aldagaiak ortogonalak deitzen dira independenteak badira. Hau da, haien ondorioak bereizita aurreikus daitezke haien arteko elkarrekintzarik gabe.
Bi aldagaien artean korrelazioa badago, ez dira ortogonalak. Kontuan izan bi datu-serieen korrelazioa eta bi bektoreren biderketa eskalarraren kalkuluaren artean antzekotasun handia dagoela.