O rețea este un set de vectori spațiali euclidieni care formează un grup discret prin adunare.
Un sistem liniar independent de vectori care generează o rețea se numește baza sa . Două mulțimi de vectori generează aceeași rețea -dimensională dacă și numai dacă matricele și , compuse din vectorii coloană ai coordonatelor vectorilor acestor mulțimi, sunt conectate prin înmulțire dreaptă cu matricea unimodulară : , . Prin urmare, este posibil să se asocieze rețele de rang maxim în spațiul -dimensional cu clasele [1] .
Determinantul unei rețele este determinantul unei matrice compuse din coordonatele vectorilor care o generează. Este egal cu volumul regiunii sale fundamentale , care este un paralelipiped , și este numit și covolumul rețelei.
Norma unui vector în teoria rețelelor din spațiul euclidian este de obicei numită nu lungimea vectorului, ci pătratul său .
Grila se numește:
Un vector diferit de zero al unei rețele se numește primitiv dacă nu este coliniar cu niciun vector mai scurt, diferit de zero, al acestei rețele.
Vectorul primitiv al rețelei, în raport cu reflexia de-a lungul căreia rețeaua este invariabilă, se numește rădăcina rețelei. Setul de rădăcini de zăbrele formează un sistem radicular . Fiecare rețea generată de rădăcinile sale este similară rețelei generate de vectori cu normele 1 sau 2. O astfel de rețea se numește rețea rădăcină [2] .
Dualul dintre o rețea la o rețea este o rețea care este notat cu sau și este definit ca
Un zăbrele se numește auto-dual dacă coincide cu dual-ul său față de sine.
O subrețea este un subgrup al unei rețele.
Se poate defini un obiect analog unei rețele într-un spațiu afín - o rețea afină; este orbita unui punct din spațiul afin sub acțiunea deplasărilor asupra vectorilor de rețea.
În fizică, rețelele din spațiul tridimensional, clasificate în funcție de simetriile lor, se numesc rețele Bravais , rețeaua duală este rețeaua reciprocă , paralelipipedul fundamental este celula unitară (primitivă) .
Graficul Cayley al unei rețele se mai numește și rețea ( infinită) .
Rețelele, ca și alte obiecte geometrice, sunt adesea considerate până la mișcări (izometrii în ele însele) ale spațiului euclidian înconjurător - rotații în jurul originii și reflexii în raport cu planurile care trec prin el. O astfel de transformare acționează asupra unei matrice compuse din coordonatele bazei rețelei, ca o înmulțire în stânga cu o matrice ortogonală . Prin urmare, clasele de izometrie ale rețelelor - clasele de echivalență ale rețelelor față de izometrii - pot fi asociate cu clase de adiacență cu două fețe ale grupului de matrici inversabile : [3] .
De asemenea, în unele probleme, zăbrelele sunt considerate până la similitudine ; astfel de transformări acționează asupra unei matrice ca înmulțire cu elemente (mulțimi de numere reale diferite de zero). Clasele de similaritate ale rețelelor corespund claselor de adiacență [3] .
O definiție strâns legată, „ teoretică a numărului ”, a unei rețele este un grup abelian liber abstract de rang finit (adică izomorf ) cu o formă biliniară simetrică pozitiv-definită pe el; în loc de o formă biliniară, se poate specifica una pătratică . Pentru ca această definiție să fie echivalentă cu definiția „geometrică” a rețelelor (mai precis, clasele lor de izometrie) dată mai sus, trebuie luate în considerare formele pătratice până la o anumită relație de echivalență.
Dacă sunt date o rețea și baza acesteia, atunci matricea formei pătratice corespunzătoare este matricea Gram a acestei baze. O formă pătratică definită pozitivă ca funcțională poate fi dată ca , (atunci matricea formei pătratice este ), și nu se schimbă dacă vectorul este supus unei transformări ortogonale, deci formele pătratice definite pozitive sunt în unu-la -o corespondență cu clasele . Dacă considerăm forme echivalente ale căror matrice și sunt legate printr-o matrice unimodulară ca , atunci clasele de echivalență ale formelor pătratice se dovedesc a fi în corespondență unu-la-unu cu clasele — și astfel cu clasele de izometrie ale rețelelor [3] .
În cazul bidimensional, se pot identifica spațiul euclidian ambiental cu planul complex , iar vectorii de rețea cu numere complexe. Dacă baza orientată pozitiv a rețelei este reprezentată de o pereche de numere complexe , atunci printr-o transformare de similitudine se poate trece la o rețea cu o bază , după care schimbarea bazei în rețea cu păstrarea orientării va corespunde unei transformarea liniar-fracțională a semiplanului superior - un element al grupului modular .
Diverse probleme geometrice sunt asociate cu rețelele, cum ar fi împachetarea strânsă a sferelor egale . De asemenea, codurile pentru codificarea de corectare a erorilor se bazează pe rețele . Multe probleme din teoria rețelei stau la baza criptografiei rețelei .