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 
Bi 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 
Bi 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 
(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 
f 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 

 (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 
Analisi 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.

Kanpo estekak 

Geometria
Aljebra abstraktua
Bektore espazioak