Bravais’n hila

Bravais’n hila on geometriassa ja kristallografiassa ääretön pistejoukko, jonka muodostavat ne avaruuden pisteet, joiden paikkavektorit kolmiulotteisessa avaruudessa ovat muotoa
formula_1
missä "a"1, "a"2 ja "a"3 ovat kolme erisuuntaista, lineaarisesti riippumatonta vektoria ja "n"1, "n"2 ja "n"3 mielivaltaisia kokonaislukuja. Tällaisten pisteiden paikkavektorien joukko on suljettu vektorien yhteen- ja vähennyslaskun suhteen, toisin sanoen kahden tähän joukkoon kuuluvan vektorin summa ja erotus kuuluvat myös tähän joukkoon. Bravais’n hila on saanut nimensä ranskalaisen fyysikko Auguste Bravais’n (1811–1863) mukaan, joka vuonna 1850 todisti, että on olemassa 14 mahdollista kidehilatyyppiä.
Bravais’n hila on "translaatiosymmetrinen" sellaisten yhdensuuntaissiirtojen suhteen, joiden siirtymävektori vastaa jonkin siihen kuuluvan pisteen paikkavektoria. Toisin sanoen jos hilassa siirrytään toiseen paikkaan tällaisen siirtymävektorin osoittamalla tavalla, sen pisteen ympäristö, johon päädytään, on samanlainen kuin lähtöpisteenkin.
Bravais’n hilan käsite voidaan siis määritellä puhtaan geometrisesti, mutta sen tärkeimmät sovellukset liittyvät kiinteiden aineiden kidehilojen tutkimukseen eli kristallografiaan. Tällöin hilapisteet vastaavat atomien, ionien tai polymeeriketjujen sijaintia aineen kidehilassa. Kiteessä nämä sijaitsevat säännöllisessä järjestyksessä, niin että monessa tapauksessa atomien tai ionien sijaintipaikat muodostavat Bravais’n hilan. Tosin on huomattava, että geometrinen Bravais’n hila jatkuu joka suunnassa äärettömän kauas, kun taas kidehila käsittää vain rajallisen alueen, jota rajoittavat kiteen rajapinnat. Kun kiteen läpimitta kuitenkin tyypillisesti on tuhansia tai jopa miljoonia kertoja suurempi kuin atomien välinen etäisyys, valtaosa kiteen atomeista sijaitsee sen sisällä ja vain pieni osa kokonaismäärästä rajapinnalla.
Kahta Bravais’n hilaa pidetään yleensä ekvivalentteina, jos niillä on isomorfiset symmetriaryhmät. Tässä mielessä kolmiulotteisessa avaruudessa on 14 erilaista Bravais’n hilaa. Nämä 14 mahdollista Bravais’n hilaa muodostavat osajoukon 230 avaruusryhmästä. 
Kahdessa ulottuvuudessa.
Kaksiulotteisessa avaruudessa on viisi erilaista Bravais’n hilaa, jotka voidaan ryhmitellä neljään kideperheeseen.
Yksikkökopit määräytyvät koppien sivujen suhteellisten pituuksien ("a" ja "b") sekä niiden välisen kulman (formula_2 mukaan. Yksikkökopin pinta-ala voidaan laskea sivuja vastaavien vektorien "a" ja "b" eli hilavektorien ristitulon avulla:
formula_3,
Keskinen suorakulmainen Bravais’n hila eroaa yksinkertaisesta suorakulmaisesta vain siinä, että siinä on hilapiste, paitsi suorakulmion kärjissä, myös sen keskipisteessä. Voisi olettaa, että vastaavalla tavalla muistakin hiloista voitaisiin johtaa uusi hilatyyppi. Kuitenkin jos neliölliseen hilaan lisätään hilapisteet neliöiden keskipisteisiin, saadaan vain toinen neliöllinen hila, jonka hilavektorit ovat alkuperäisiin nähden 45 asteen kulmassa. Jos taas monokliiniseen hilaan lisätään hilapisteet suunnikkaan muotoisten yksikkökoppien keskipisteisiin, saadaan jälleen monokliininen hila, jossa vain toinen hilavektoreista sekä hilavektorien välinen kulma poikkeavat alkuperäisistä. Jos taas heksagonisen hilan yksikkökoppien keskipisteisiin lisätään hilapisteet, saadaan yksinkertainen suorakulmainen hila, jonka hilavektorien suunnat poikkeavat alkuperäisen hilasta.
Seuraavassa taulukossa luetellaan kideperheiden ominaisuuksia:
Kolmessa ulottuvuudessa.
Kolmiulotteisessa avaruudessa on 14 Bravais’n hilaa. Ne saadaan yhdistämällä kuhunkin seitsemästä kidejärjestelmästä yksi keskisyystyypeistä. Keskisyystyypit osoittavat hilapisteiden paikat yksikkökopissa seuraavasti:
Kaikkia kidejärjestelmän ja keskisyystyypin yhdistelmiä ei kuitenkaan tarvita kuvaamaan kaikkia mahdollisia hiloja, sillä osoittautuu, että jotkin niistä ovat ekvivalentteja toistensa kanssa. Esimerkiksi monokliinin tilakeskinen hila voidaan kuvata myös monokliinisenä pohjakeskisenä hilana valitsemalla kiteen akselit toisin. Samoin kaikki pohjakeskiset A- ja B-hilat voidaan kuvata joko C-hilana tai yksinkertaisena hilana. Tämä vähentää yhdistelmien lukumäärän neljääntoista, jotka esitetään seuraavassa taulukossa: 
Tarkemmin yksikkökopit voidaan kuvailla kopin särmien suhteellisten pituuksien ("a", "b", "c") ja niiden välisten kulmien ("α", "β", "γ") avulla. Yksikkökopin tilavuus voidaan laskea skalaarikolmitulon , avulla, missä a, b ja c ovat hilavektorit. Kidejärjestelmien ominaisuuksia on lueteltu seuraavassa taulukossa:
Hiloja, jotka eivät ole Bravais’n hiloja.
On olemassa myös kidehiloja, jotka eivät ole Bravais’n hiloja. Sellainen on esimerkiksi heksagonaalinen tiivispakkaus (HCP). Se muodostuu tosin heksagonaalisista yksikkökopeista, joissa hilavektorien välinen kulma on 60°, mutta kussakin tällaisessa yksikkökopissa on kaksi hilapistettä. Jos yksikkökopin korkeutta merkitään "h":lla, tasoilla "z"="nh", missä "n" on mielivaltainen kokonaisluku, hilapisteet ovat samoilla kohdilla eli kullakin tasolla niillä on samat "x"- ja "y"-koordinaatit, mutta tasoilla "z" = ("n"+1/2)"h" nämä koordinaatit ovat toiset. Jos "a" jokin tasolla "z"="h"/2 olevan hilapisteen paikkavektori, ei piste 2"a" ole hilapiste ja näin ollen hila ei määritelmän mukaan ole Bravais’n hila. Tasolla "z"="h"/2 olevat hilapisteet muodostavat kylläkin samanlaisen tasasivuisista kolmioista muodostuvan verkoston kuin tasolla "z"=0 olevatkin, mutta näiden pisteiden kolmiulotteiset lähiympäristöt ovat päinvastaisilla tavoilla suuntautuneet. Jos kuitenkin otetaan huomioon vain joka toisella hilatasolla olevat hilapisteet, ne muodostavat heksagonaalisen Bravais’n hilan.
Myöskään timanttirakenteinen hila ei ole Bravais’n hila. Sen yksikkökoppi on kuutio 0&lt;="x"&lt;"d", 0&lt;="y"&lt;"d", 0&lt;="z"&lt;"d", jossa hilapisteitä ovat (0,0,0), (0,"d"/2,"d"/2), ("d"/2,0,"d"/2), ("d"/2,"d"/2,0), ("d"/4,"d"/4,"d"/4), ("d"/4, 3"d"/4, 3"d"/4), (3"d"/4 ,"d"/4, 3"d"3/4) ja (3"d"/4, 3"d"/4, "d"/4). Piste "a"=("d"/4,"d"/4,"d"/4) on siis hilapiste, mutta piste 2"a" = (1/2,1/2,1/2) ei ole, eikä kyseessä siis ole Bravais’n hila. Jos kuitenkin otetaan huomioon edellä olevista hilapisteistä vain ne, joiden koordinaateissa ei ole nimittäjää 4, ne muodostavat pintakeskeisen kuutiollisen Bravais’n hilan. Toisaalta ne hilapisteet, joiden koordinaateissa esiintyy nimittäjä 4, muodostavat nekin pintakeskeisen kuutiollisen hilan, joka kuitenkin on päinvastaisella tavalla suuntautunut.
Neljässä ulottuvuudessa.
Matemaattisesti Bravais’n hilan käsite voidaan yleistää myös neljään tai useampaan ulottuvuuteen. Voidaan osoittaa, että neljässä ulottuvuudessa on 64 Bravais’n hilaa, joista 23 on yksinkertaisia ja 41 keskisiä. Kymmenen Bravais’n hilaa jakautuu enantiomorfisiin pareihin, jotka ovat toistensa peilikuvia.