Matematici speciale i metode numerice

ARHITECTURA MATEMATICII
n loc de moto: Matematica este de dou feluri.
Matematica scris i matematica vorbit. Cea vorbit este
aezat ntre spontaneitate i rigoare. Cea scris este rigoare
deschis dedesubt i deasupra spre intuiie. n toate ale ei
matematica are, nainte de toate, farmec. Fr accesul la
acest farmec, matematica nu are via.

1. Structuri liniare, ordonate i topologice

Spunem c mulimile pot fi organizate ca structuri dac pe ele sunt
introduse operaii algebrice, relaii de ordine sau obiecte de topologizare. Se
obin astfel trei tipuri de structuri, numite generic structuri simple.
Stabilind diferite compatibiliti ntre structuri se vor obine de asemenea
structuri numite multiple.
1.1. Structuri simple
(i) Spaii liniare
Spaii liniare (not (X, lin)) sunt structurile simple cel mai des ntlnite.
Condiia necesar i suficient pentru ca structura de spaiu liniar s existe este:
x y X, , , x , y X

unde

- corpul scalarilor.
1

Elemente de algebr, geometrie i calcul tensorial

(ii) Spaii ordonate
Definiie. Se numete relaie de ordine ( ) o relaie reflexiv,
antisimetric i tranzitiv, unde (ref): =

x x,

x X; (antisim): =

x y i y x y x; (tranz):= x y i y z implic x z. .

Definiie. O mulime pe care se d o relaie de ordine se numete

mulime ordonat. De relaia de ordine este legat noiunea de con (numit i
con pozitiv).
Definiie. O mulime A se numete con pozitiv ( X ) dac sunt
satisfcute urmtoarele axiome (numite i axiomele conului pozitiv):

A ( A ) , A A A, A A, R
Legtura dintre relaia de ordine i noiunea de con pozitiv este dat de:
x y y x X

Definiie. Ansamblul ( X, ) (care se mai noteaz i cu (X, X ) )

se numete spaiu ordonat.
(iii) Spaii topologice
Fie

o familie de pri ale lui X.

Definiie. Se numete topologie pe X familia

cu proprietile:

( t1 ) , X
( t 2 ) Dac G i , atunci iI G i (reuniune oarecare de elemente
din

este o mulime din

( t 3 ) G i , ni I G i
Definiie. Elementele lui

se numesc mulimi deschise.

Definiie. Numim mulime nchis complementara unei mulimi

deschise.
2

Matematici speciale i metode numerice

Definiie. Ansamblul format din mulimea X i topologia

(not

( X, ) ) se numete spaiu topologic.

1.2. Structuri duble

Se obin din dou structuri simple ntre care se stabilesc condiii de

compatibilitate.
(i) Spaii liniare ordonate
Fie (X, lin) un spaiu liniar i (X, X ) un spaiu ordonat
Definiie. Spunem c cele dou structuri definesc un spaiu liniar
ordonat (not (X, lin, X )) dac n plus este satisfcut i urmtoarea condiie
de compatibilitate.

x u y u x, y, u X
xy
x y R
(ii) Spaii liniar topologice
Fie (X.lin) un spaiu liniar i ( X, ) un spaiu topologic.
Definiie. Spunem c cele dou structuri simple definesc un spaiu liniar
topologic (not (X, lin,

))

dac aplicaiile:

( x , y) x y
( x ) x
sunt continue.
1.3. Structur tripl

Elemente de algebr, geometrie i calcul tensorial

Fie (X, lin,

un spaiu liniar topologic i (X,

) un spaiu

ordonat.
Definiie. Spunem c (X, lin,

) i ( X, X ) definesc o structur de

spaiu liniar ordonat topologic (not (X, lin, X , )) dac pe lng condiiile
fiecrei structuri n parte exist o baz de vecinti ale originii format din
mulimi pline.
Definiie. Condiia necesar i suficient pentru ca o mulime A din

(X, X ) s fie plin este urmtoarea:

a , b A a , b 0 A

unde a , b 0 def

x/a x b .

2. Tipuri de convergen
n funcie de structura pe care lucrm avem urmtoarele tipuri de
convergen:
convergen n sens topologic (creia i se va spune simplu
convergen) structura pe care se lucreaz n acest caz fiind evident cea de
spaiu liniar topologic, ( X lin , )
convergen n sensul ordinii n cazul n care este vorba de spaiu liniar
ordinar, ( X lin , X ) .
n funcie de irurile crora li se studiaz convergena avem urmtoarea
clasificare:

convergen ordinar, cnd se lucreaz cu iruri ordinare ( x n ) nN

convergen generalizat, cnd se au n vedere iruri generalizate

4

Matematici speciale i metode numerice

( x ) , unde cu

s-a notat mulimea dirijat.

Definiie. Se numete mulime dirijat ( ) o mulime ordonat cu

proprietatea c oricare a,b din

exist c n astfel nct

a c,

bc

(mai exact n acest caz se va spune despre mulimea

c este dirijat la

dreapta).
Observaie. Definiia de mai sus este echivalent cu a spune c orice
mulime format din dou puncte din

este majorat.

O alt definiie a mulimii dirijate se poate da folosind noiunea de con

pozitiv.
Definiie. Mulimea (X, X ) se numete dirijat dac i numai dac

x X, u, v 0; x u - v.
Observaie. Ordinea dirijat se ntlnete i sub denumirea de con pozitiv
generator.
X X X
Exemple de mulimi dirijate: mulimea numerelor naturale (N),
intervalul 0,1 .
Definiie (convergena ordinar). Spunem c irul

( x n ) nN

converge la x 0 i scriem: x n x 0 , dac i numai dac oricare ar fi

vecintatea lui x 0 , Vx 0 , exist N Vx 0 astfel nct pentru orice n N Vx 0
avem x n Vx 0 .
Definiie (convergena generalizat). Spunem c irul ( x )
converge la x 0 astfel nct x n x 0 dac i numai dac oricare ar fi
5

Elemente de algebr, geometrie i calcul tensorial

vecintatea lui x 0 , Vx 0 , exist Vx 0 astfel nct pentru orice Vx 0

avem x Vx 0 .
Notaii
xn

x ( x (o) lim n x n

) convergena ordinar n sensul ordinii,

numit (o) convergena

x

x ( x () lim x

- convergena generalizat n sensul ordinii,

numit ( ) convergena.
Definiie. Fie a n

i b n dou iruri astfel nct a n

monoton

cresctor, iar b n monoton descresctor, mrginite superior ( sup n a n x ),

respectiv inferior ( inf n b n x ). Spunem c x n o converge la x dac i
numai dac exist irurile a n , b n monotone i mrginite ca mai sus astfel
nct
a n x b n , n N

Observaie. (o) convergena ntr-un spaiu ordonat repet ntr-un fel

criteriul cletelui din R, mai mult cele dou tipuri de convergen n real
coincid.

R,

, spaiu de tip (o)

Spaiile n care cele dou tipuri de convergen coincid se numesc spaii de tip
(o), respectiv ( ).
Definiie. Fie a , b dou iruri generalizate, monotone cresctor,
respectiv descresctor, mrginite superior, respectiv inferior. Spunem c

x n () - converge la x dac i numai dac exist irurile a , b ca mai sus

astfel nct
6

Matematici speciale i metode numerice

a x b , .

3. Tipuri de continuitate
Continuitatea repet tipurile de convergen, continuitatea topologic
putnd fi dat cu ajutorul irurilor generalizate.
Definiie. Fie ( X X , YY ) . Spunem c aplicaia f : X Y este
continu n x 0 , x 0 X, dac pentru orice vecintate a lui f ( x 0 ) , notat
Vf ( x

0)

, exist o vecintate Wx a lui x astfel nct

0
0

f ( x ) Vf ( x

, x Wx

0)

Definiii echivalente. Spunem c o funcie f continu n x 0 dac

pentru
Vf ( x

0)

exist Wx 0 astfel nct f ( Wx 0 ) Vf ( x 0 )

ceea ce este echivalent cu

Wx

Observaie.
f 1 Vf ( x )
0

f 1 Vf ( x ) , Vf(x )
0
0

continu

x 0 dac

pentru

Vf ( x

este vecintate a lui x 0 .

Definiie. Spunem c f este continu n x 0 dac

x x 0 implic f ( x ) f ( x 0 )

Definiie. O funcie se numete secvenial continu dac:

x n x 0 implic f ( x n ) f ( x 0 )

0)

avem

Elemente de algebr, geometrie i calcul tensorial

Observaie. Orice funcie continu este i secvenial continu, reciproca
nefiind adevrat.

Definiie. Fie X, X , Y, Y

dou spaii liniare ordonate. Spunem

c o funcie este (o) continu dac:

o

x n x 0

implic

f (x n )

f (x 0 )

Definiie. Fie X, X , Y, Y dou spaii liniare ordonate. O funcie

se numete () - continu dac:

x x 0

implic

f (x )

f (x 0 ) .

1.4. Tipuri de dualiti. Spaii liniare n dualitate.

Notaii
L ( X, Y ) - mulimea operatorilor liniari i continui acionnd ntre X i Y.
( X,.Y ) l - mulimea operatorilor liniari definii pe X cu valori n Y.
( X, R ) l X l X * - este dualul algebric

L ( X, R ) X - este dualul topologic.

Observaie. tiind c operatorii cu valori scalare se numesc funcionale
vom defini dualul topologic ca fiind mulimea funcionalelor liniare i continue.
( X, R ) 0 X 0 - mulimea funcionalelor liniare i () - continui.

Observaie. Toate cele trei dualiti implic liniaritate.

Definiie. Fie X i Y dou spaii liniare. Spunem c X i Y sunt n
dualitate liniar dac exist f 0 : X Y R cu urmtoarele proprieti:
(i) f 0 biliniar (liniar n X i Y)
(ii) x X, x 0 y Y astfel nct f 0 ( x , y) 0
8

Matematici speciale i metode numerice

(iii) y Y, y 0 x X astfel nct f 0 ( x , y) 0 .
Notaie. De obicei aceast funcional
Se

observ

se

f 0 ( x, y) not x, y .

poate

defini

funcional

y , y ( x ) x , y y X l

( datorit biliniaritii lui <x, y>). Aplicaia y y ( x ) este o bijecie ntre Y

i o parte din X l .
Observaii.

Dac dou spaii sunt n dualitate liniar fiecare spaiu poate fi privit
ca subspaiu din dualul algebric al celuilalt deci se poate defini i
corespondena x x ( y)

Dualitile se folosesc la studiul unor spaii prin intermediul tehnicii

de trecere la dual; studiul se face n zonele cunoscute deci dac trecem
de la un spaiu la dualul su nseamn c avem mai multe informaii
despre dual dect despre spaiu.

1.5. Spaii local convexe (slc)

Spaiul local convex ocup o zon de mijloc ntre particular i general.
Cea mai particular topologie i foarte des ntlnit este topologia de spaiu
liniar normat, notat (X, lin, || ||).
Condiia ca spaiul s fie normat este o condiie foarte restrictiv att de
restrictiv nct printr-un izomorfism n cazurile finit dimensionale obinem
spaiul real.
Definiie. Un spaiu liniar topologic se numete spaiu local convex dac
exist o baz de vecinti a originii, W0 , format din mulimi convexe.
9

Elemente de algebr, geometrie i calcul tensorial

Propoziie. ntr-un spaiu local convex exist vecinti ale originii
echilibrate, convexe, nchise.
Teorem. Dac P este o familie de seminorme, atunci

E p1, p 2 ,..., p n , x / p i (x ) , i 1, np P
i

W0

reprezint un sistem fundamental de vecinti ale originii pentru o topologie

local convex.
Reciproc. Dac

W este o baz de vecinti convexe, familia

PW {p W / W W }

este o familie dirijat de seminorme, am nota cu p W

funcionalele

Minkowski.
Teorem. Un spaiu este separat dac i numai dac P este o familie
suficient de seminorme.
Definiie. O familie F de funcionale este suficient dac
x 0 f F astfel nct f ( x ) 0.

Spaiile local convexe fiind o noiune suficient de general se

particularizeaz lucrnd asupra lui

W sau asupra lui P , exist astfel spaii

bornologice, tonelate, atomice etc.

O categorie cuminte de spaii local convexe este categoria spaiilor local
convexe metrizabile; topologia acestor spaii este dat de o familie numrabil
de vecinti convexe ale originii ceea ce este echivalent cu a spune c
topologia este definit de o cvasinorm.
Definiie. Se numete o cvasinorm o funcional q : x R
proprietile:
1) q ( x ) 0 x 0
2) q ( x ) q ( x )
10

cu

Matematici speciale i metode numerice

3) q ( x y) q ( x ) q ( y)
4) n q ( n x ) q (x )
5) x n x q (x n ) q (x )
Cu ajutorul cvasinormei se poate defini distana:
d ( x , y) q ( y x ) .

11