Bi dimentsioko geometrian, bi zuzenparaleloak dira elkar ebakitzen ez badute.
Hiru dimentsiokoespazio euklidearrean, bi planok ez badute punturik partekatzen, paraleloak direla esaten da. Hiru dimentsioko espazioan elkartzen ez diren bi zuzenek, paralelo izatekotan, plano berean egon behar dute.
Paralelismoa, geometrian, dimentsio bateko edo gehiagoko edozein aldaera linealen (zuzenen, planoen, hiperplanoen, eta abarren) artean eginiko erlazioa da.
Geometria afinean, aldaera lineal bat V = p + E moduan adieraz dezakegu, non p eta E, hurrenez hurren, puntua eta espazio bektoriala baitira, esaten da A = a + F eta B = b + G paraleloak direla, F eta G Eren azpiespazio bektorialak izanda, baldin eta soilik baldin F Gn badago edo G Fn badago, A eta B Vren azpialdaerak izanik.
Plano afinean , bektore gidatzaile bera duten bi zuzen dira paraleloak.
Beha dezagun orain hiru dimentsioko espazio afin batean zuzen bat eta plano bat paraleloak izan daitezkeela. Horrela, plano batean dauden bi zuzen paraleloak dira baldin eta zuzen berdinak badira edo ez badute punturik partekatzen, eta era berean, espazioan bi plano paraleloak dira baldin eta bi planoak berdinak badira edo ez badute zuzenik partekatzen.
P multzoa, hau da, planoan dauden zuzenen multzoa emanda honako erlazio bitarra definitu dezakegu: . Honek esan nahi du a b-ren paraleloa dela.
a, b eta cP planoko zuzenak izanda, hurrengo propietateak betetzen dira:
Bihurkorra: edozein zuzen bere buruarekiko paraleloa da:
Simetrikoa: zuzen bat beste batekiko paraleloa bada,alderantzizkoa ere betetzen da:
Iragankorra: zuzen bat beste zuzen baten paralelo bada eta bigarren zuzen hori beste zuzen baten paralelo bada, orduan lehenengo zuzena hirugarren zuzenaren paralelo da:
Beraz, planoetako zuzenen arteko paralelismoa baliokidetasun-erlazio bat da.
Espazioko plano paraleloen multzoetan froga daitezke aipaturiko propietate hauek.
Oharra: Bihurkor eta simetriko propietateak multzoen ebakiduraren ondorio dira, eta ez daude bakartasunaren axiomaren menpe.
Plano berean zehar inoiz elkartzen ez diren bi lerro paraleloak direlako definizioa Euclid's Elements liburuan agertzen da, liburuaren 23. definizioan, hain zuzen. Greziarrek beste definizio desberdin batzuei buruz egin zuten eztabaida, gehienak Euklidesen bostgarren postulatua azaltzen saiatzeko. ProklosekPosidoniori esleitzen dio lerro paraleloak lerro distantziakideak direla esaten duen definizioa. Sinplizio Ziliziakoak ere Posidoniusen lerro paraleloen definizioa aipatzen du, baita Aganisek definizio horretan egindako aldaketak ere.
XIX. mendearen amaieran, artean ere erabiltzen zen, Ingalaterrako bigarren ikastaroan, Euclid's Elements liburua ikasliburu gisa. Geometria proiektiboaren eta geometria ez-euklidearraren eremuetan egindako aurrerapenei esker, geometriari buruzko testu berriak idatzi ahal izan ziren, eta geometriari buruzko ordura arteko testuliburuen ordez erabiltzen hasi ziren. Testu berriek aurreko testuliburuekiko duten ezberdintasunik handiena lerro paraleloen definizioari dagokio; aldaketa honekin batera, hainbat kritika heldu ziren. Kritika horien artean, beharbada, gogorretako bat Charles Dodgson-ek (Lewis Carrol ezizenez ezagutua bera) idatzitako antzerki-lanean jasotzen da (Euclid and His Modern).
Terminoak eraldatu zituen lehenengo liburuetako bat James Maurice Wilsonek 1868an idatzitako Elementary Geometry liburua izan zen, norabidearen kontzeptu primitiboan oinarrituta. Wilhelm Killingren arabera, Wilsonek erabilitako ideia hori Leibnizek erabilitakoaren jarraipena zen. Wilson-ek norabide terminoa, nahiz eta definitu gabe, beste kontzeptu batzuk azaltzeko erabili zuen; adibidez, honako hau: "Elkar ebakitzen duten bi lerro norabide desberdinak dituzte eta norabide-desberdintasun horri bi lerroen arteko angeluari deritzo." Wilson-ek, hamabostgarren definizioan, lerro paraleloaren kontzeptua azaldu zuen; honela: "Norabide bera duten, baina lerro beraren gainean ez dauden bi lerro paraleloak dira". Augustus De Morganek aurreko definizioa aztertu eta akatsak zituela adierazi zuen. Akats horien artean, definizioaren oinarria eta definizio beraren erabilera daude. Dodgsonek ere gaitzetsi zuen Wilsonek erabilitako definizioa. Wilsonek bere lerro paraleloen definizioa aldatu zuen bere liburuaren hirugarren argitaralditik aurrera.
Beste erreformatzaile batzuk ere saiatu ziren paralelo kontzeptu horri buruzko definizio bat ematen, baina definizio horiek ez zuten funtzionatu. Zailtasun handiena zen, Dodgsonek adierazi zuen moduan, definizioa erabiltzeko beste axioma batzuk gehitu beharra zegoela. Posidoniusek lerro distantziakideei buruz emandako definizioak, Francis Cuthbertsonek bere Euclidean Geometry liburuan (1874) erabiliak, arazo bat zuten; izan ere, lerro zuzenetik distantzia finko batera dauden puntuak lerro bat balira azaldu behar dira. Arazo hori ezin zen frogatu, eta egia balitz bezala onartu behar zen.
Zuzenen markek erakusten dute a eta b zuzenak paraleloak direla. Zeharkako t zuzenak hori horrela dela frogatzen du sortutako angelu kongruenteen bidez.
Propietate baliokideak direnez, horietako edozein har daiteke definizio moduan espazio euklidearrean, baina lehenengo eta hirugarren propietateek neurriaren teoria erabiltzen dutenez, korapilatsuagoak dira bigarrena baino. Horregatik, bigarrena da aukerarik ohikoena paralelotasuna definitzeko espazio euklidearrean[1]. Beste propietateak Euklidesen paraleloen postulatuaren ondorioak dira.
Hiru dimentsioko espazioan bi zuzen ezberdin, eta , paraleloak dira baldin eta soilik baldin zuzeneko puntutik zuzeneko gertueneko punturaino den distantzia puntuaren hautapenarekiko independentea baldin bada. Hori ez da inoiz gertatzen gurutzatzen diren zuzenetan.
Izan bitez zuzena eta planoa hiru dimentsioko espazioan; orduan, zuzen hori ez dago planoan baldin eta soilik baldin ez badute elkar ebakitzen.
Definizio horren baliokidea da honako hau: zuzen bat eta plano bat paraleloak dira baldin eta soilik baldin zuzeneko puntutik planoan gertuen dagoen punturainoko distantzia puntuaren hautapenarekiko independentea baldin bada.
Bi zuzen paralelok plano berean egon behar duten bezala, bi plano paralelok hiru dimentsioko espazio berean egon behar dute eta ezin dute puntu komunik eduki.
Izan bitez bi plano ezberdin, eta , hiru dimentsioko espazioan; orduan, paraleloak dira baldin eta soilik baldin planoko puntutik planoan gertueneko dagoen punturainoko distantzia puntuaren hautapenarekiko independentea baldin bada. Hau ez da inoiz gertatzen bi planoak hiru dimentsioko espazio berean ez badaude.
Geometria ez-euklidearrean, ohikoagoa da geodesikoei buruz hitz egitea zuzenei baino. Edozein geometriatan, geodesia bat bi punturen arteko bide laburrena da. Geometria ez-euklidearrean (geometria eliptikoan edo hiperbolikoan) gorago aipatutako hiru propietateak ez dira baliokideak, eta bigarrena soilik da baliagarria, geometria ez-euklidearrean ez baitu neurririk erabiltzen. Ohiko geometrian hiru propietateek hiru kurba ezberdin definitzen dituzte: kurba distantziakideak, geodesia paraleloak eta geodesia perpendikular komun bat partekatzen dutenak.
Geometria esferikoan, geodesia guztiak zirkulu nagusiak dira. Zirkulu nagusiek esfera bi hemisferio berdinetan banatzen dute, eta zirkulu nagusi guztiek elkar ebakitzen dute. Horregatik, geodesia bat emanda, ez dago beste geodesiarik non biak paraleloak diren. Kurba distantziakideei latitudeko paralelo deritze; latitudearen analogoak dira.