ABSTRACT

PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

On inner product over a lattice vector space

DPRV SUBBA RAO

Mail Id: [email protected]
April,23 , 2021

RAJESH GUDEPU and DPRV SUBBA RAO Faculty of Science andover

On inner product Technology ICFAI Foundat
a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

AGENDA

ABSTRACT

PRELIMINARIES

DEFINITIONS

MAIN RESULTS

REFERENCES

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

ABSTRACT

This paper introduces the concept of Lattice valued inner product space.
A natural inner product structure for the space of n-tuples over Boolean
algebras is generalised to n-tuples over distributive lattice with 0 and 1.
A dimension theorem for orthonormal basis of a Boolean vector space
is generalised to a lattice vector space. Further, we prove that for any
naturals m, n with m < n, any set of m orthogonal unit orthovectors in
a lattice vector space can be extended to an orthonormal basis (known in
the Boolean algebra case).
1000 AMS Subject Classification : 06D99,15B99
Key words and Phrases : Distributive lattice, Lattice inner product, Lattice
vector space, Linear opearator, , Orthonormal basis, Unit orthovector.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

PRELIMINARIES
I A partially ordered set (L, ≤) is a lattice if for all a, b ∈ L, the
least upper bound of a, b and the greatest lower bound of a, b
exist in L. For any a, b ∈ L, the least upper bound and the
greatest lower bound are denoted by a ∨ b and a ∧ b (or ab),
respectively. An element a ∈ L is called greatest element of L if
α ≤ a, for all α ∈ L. An element b ∈ L is called least element
of L if b ≤ α, forall α ∈ L. We use 1 and 0 to denote the
greatest element and the least element of L, respectively.
I A lattice L is a distributive lattice, if for any a, b, c ∈ L,
1. a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c) and
2. a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) hold.
Throughout this paper, unless otherwise stated, we assume that L
is a distributive lattice with the greatest element 1 and the least
element 0.
On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

PRELIMINARIES
I A lattice vector space V over L is a system (V , L, +, ·), where
V is a non-empty set, L is a distributive lattice with 0 and 1, +
is a binary operation on V , called addition and · is a map from
L × V to V , called scalar multiplication such that the following
properties hold: For every x, y, z ∈ V and a, b ∈ L satisfy:
1. x+y=y+x
2. x + (y + z) = (x + y) + z
3. there is an element 0 in V such that x + 0 = x,for every x in V
4. x + y = 0 if and only if x = y = 0
5. a · (x + y) = a · x + a · y
6. (a ∨ b) · x = a · x + b · x
7. (ab)x = a · (b · x)
8. 1·x=x
9. 0·x=0
On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

PRELIMINARIES
Throughout this paper V will denote an arbitrary vector space over
a lattice L, Vn (L) will denote the set of all n-tuples of elements of
a lattice L.
I Let V be a lattice vector space and W be a subset of V . Then
W is a lattice vector subspace (or lattice subspace) of V , if W
is itself a lattice vector space with the same operations in V .
I The lattice sub space W = {0} is called the trivial L subspace
of V . All L sub spaces of V other than V are called proper L
subspaces of V .
I Let V be a lattice vector space and S be a non-empty subset of
V . Then a vector y ∈ V is a linear combination of the vectors
Pn y1 , y2 , . . . , yn ∈ S and a1 , a2 , . . . , an ∈ L
in S, if there exists
such that y = i=1 ai yi .
On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

PRELIMINARIES

I Let V be a lattice vector space and S be a non-empty subset

of V − {0}. Then S is said to be linearly independent, if every
vector u ∈ span(S) can be expressed uniquely as a linear com-
bination of the elements of S. Otherwise, the set S is said to be
linearly dependent. Here uniqueness is in the following sence :
for any ai , bj ∈ L−{0} and xi , yj ∈ S with i =1,2,. . . , m and j =
1,2,. . . , k such that m
P Pk
i=1 (ai xi ) = j=1 (bj yj ). we have : m =
k, {a1 , a2 , . . . , am } = {b1 , b2 , . . . , bk } and {x1 , x2 , . . . , xm } =
{y1 , y2 , . . . , yk }.
I Let V be a lattice vector space and S be a subset of V . Then
S is said to be a basis for V , if S is a spanning subset of V and
S is linearly independent.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS

I Inner product over a lattice vector space: Let V be a lattice

vector space. An inner product on V is a function <, >: V × V → L
which satisfy:
1. < x, x > ≥ 0, for all x ∈ V and < x, x > = 0 if and only if
x = 0
2. < x + y, z > = < x, z > ∨ < y, z >, for all x, y, z ∈ V
3. < αx, y > = α < x, y >, for all x, y ∈ V and α ∈ L
4. < y, x > = < x, y >, for all x, y ∈ V
A vector space V together with an inner product <, > is called an inner
product space which is denoted by (V , <, >).

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS

I Normed vector space: A lattice vector space V over a distributive

lattice L with 0 and 1 is said to be a normed vector space if there
exist a mapping k · k : V → L satisfying :
1. kxk ≥ 0 and kxk = 0 if and only if x = 0
2. kaxk = akxk for all x ∈ V and a ∈ L.
A lattice inner product space becomes a normed vector space by defining
kxk = < x, x >.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS
I Orthogonal vector: Let V be an inner product space and
x, y ∈ V . Then x is said to be orthogonal (or perpendicular)
to y if < x, y > = 0.
I Unit vector: Let V be a normed lattice vector space. An
element x ∈ V is said to be a unit vector if kxk = 1.
I Orthogonal set: A sub set M of V is called an orthogonal set
if distinct elements in M are mutually orthogonal.
I Orhonormal set: A subset M of V is called an orthonormal
set if M is orthogonal and each vector in M has norm 1.
I Orthovector: A vector x = (x1 , x2 , . . . xn ) in Vn (L) is said to
be an orthovector if xi xj = 0, for all i, j ∈ {1, 2, . . . , n} and
i 6= j.
On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS

I Unit ortho set: An orhonormal subset S of a lattice vector

space V is said to be a unit ortho set, if all of its elements are
unit orthovectors.
I Orthonormal basis: A subse S of Vn (L) is said to be an or-
thonormal basis of Vn (L) if S is an orthonormal and spanning
subset of Vn (L).

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 1. Some properties of the norm in the normed space Vn (L):

Let x, y ∈ Vn (L). Then
(i). kx + yk = kxk ∨ kyk
(ii). < x, y > ≤ kxkkyk
(iii). If x and y are orthovectors and kxk = kyk then
< x, y > = kxkkyk if and only if x = y.
I 2. If x and y are unit orthovectors then < x, y > =1 if and
only if x = y.
I 3. The basis vectors of Vn (L) are unit vectors.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 4. An orthonormal set in Vn (L) is a linearly independent set.

I Remark 1: By result 4, it follows that an orthonormal basis is

a spanning set and linearly independent. Hence an
orthonormal basis is a basis of Vn (L).

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS

I Linear mapping: A mapping T : V → U of a lattice vector

space V into a lattice vector space U is said to be linear if
T (ax + y) = aT (x) + T (y), for all a ∈ L and x, y ∈ V .
I Linear isomorphism: A mapping T : V → U of a lattice
vector space V into a lattice vector space U is said to be a
linear isomorphism if T is a linear and bijection.
I Linear operator: A linear mapping T : V → V on a lattice
vector space V is said to be a linear operator on V .

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

DEFINITIONS

I Invertible linear mapping: A linear mapping T : V → U of

a lattice vector space V into a lattice vector space U is said
to be invertible if there is a linear mapping S : U → V such
that T ◦ S = IU and S ◦ T = IV , where ◦ is the composition of
mappings and IV , IU are identity operators on V , U respectively.
A linear mapping T : V → U on a lattice vector space V
into a lattice vector space U has inverse if and only if T is a
bijection. For any Invertible linear mapping the inverse mapping
is a unique operator which is denoted by T −1 .

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 5. Let S= {x1 , x2 , . . . , xm } be an orthonormal subset of Vn (L).

Then S is an orthonormal basis for Vn (L) if and only if the set
S∗ of columns of (xji )m×n is an orthonormal subset of Vm (L).

RAJESH GUDEPU and DPRV SUBBA RAO On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 7. An orthonormal basis of Vn (L) is a unit ortho set.

I 8. If an orthogonal unit ortho subset of Vn (L) has exactly n

elements then it is a basis.

RAJESH GUDEPU and DPRV SUBBA RAO Faculty of Science andover

On inner product Technology ICFAI Foundat
a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 9. Let n >1. Let x = (x1 , x2 , . . . , xn ) and y = (y1 , y2 , . . . , yn )

be two unit orthovectors in Vn (L). Then x is orthogonal to y if
and only if there exist a unit orthovector z = (z1 , z2 , . . . , zn−1 )
in Vn−1 (L) such that yi = zi (x1 ∨ x2 ∨ . . . ∨ xi−1 ∨ xi+1 ∨ . . . xn )
for i=1 to n −1. If x is orthogonal y then we can always choose
z with zi = yn xi ∨ yi for i=1 . . . n − 1.

I 10. The cardinality of an orthogonal unit ortho set of Vn (L) is

atmost n.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Definitions

I Subspace: A subset M ⊆ Vn (L) is called a subspace if it is

generatedPmby an othonormal set S = {x1 , x2 , . . . , xm }. i.e.,
M = { i=1 ai xi /a1 , a2 , . . . am ∈ L}. Any orthonormal set S
generating M is called an orthonormal basis for M.
I Unit ortho subspace: A subspace with a orthogonal unit ortho
basis is called a unit ortho subspace.
I Linear maps between two subspaces: A linear map T :
M → N between two subspaces M and N of Vn (L) and Vm (L)
respectively, is called an isometry if < T (x), T (y) >=< x, y >,
for all x, y ∈ M.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results

I 11. Let M ⊆ Vn (L) and N ⊆ Vm (L) be two subspaces. Let

T : M → N be a linear map, then the following conditions are
equivalent:
(i) T is isometry,
(ii)There exists a orthonormal basis S = {e1 , e2 , . . . ek } of M
such that {T ei : i = 1 . . . k} is an orthonormal set of N.
(iii)For every orthonormal set S = {e1 , e2 , . . . ek } of M, the set
{T e1 , T e2 , . . . , T ek } is orthonormal set of N.
I 12. If T : M → N is an isometry, then T is injective.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Definitions

I Isomorphic subspaces: Let M and N be two subspaces of

Vm (L) and Vn (L) respectively. A surjective isometry T : M →
N is called an isomorphism, and in this case M and N are said
to be isomorphic subspaces.
I Remark4: The inverse of an isomorphism is an isomorphism,
and the composition of two isomorphisms is again an isomor-
phism. Hence isomorphism is an equivalence relation.
I Definition: For x ∈ Vn (L), we define x⊥ = {y ∈ Vn (L)/ <
x, y >= 0}.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section results

I 13. If M is a subspace of Vn (L) then there exists m ∈ N and

an isomorphism T : M → Vm (L) such T map unit orthovectors
to unit orthovectors, and if M is a unit ortho subspace then T
and T −1 map unit orthovectors to unit orthovectors.
I 14. Every two orthonormal bases of a subspace M of Vn (L)
have same cardinality.
I 15. If x ∈ Vn (L) is a unit orthovector then x⊥ is a unit ortho
subspace of Vn (L) of dimension (n − 1).

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

Section Results
I Remark 5: Isomorphisms map orthonormal bases to
orthonormal bases: if {x1 ,x2 ,. . . xn } is an orthonormal basis
for a subspace M and T : M → N is an isomorphism then {
T (x1 ),T (x2 ),. . . T (xn )} is an orthonormal set since T is an
isometry by result 11. Moreover, if v ∈P N then there exists
n
u ∈ M such that T (u) = v. since u = P i=1 ui xi for some
u1 , u2 , . . . , un ∈ L we conclude that v = ni=1 ui T (xi ). Hence
{ T (x1 ),T (x2 ),. . . T (xn )} is an orthonormal spanning subset
of N, hence a basis of N.
I Remark 6: We call the common cardinality of orthonormal
basis for a subspace M the dimension of M. It follows from
result 13 that if M has dimension m then M is isomorphic to
Vm (L).
On inner product over a lattice vector space
 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

MAIN RESULT

Theorem: The cardinality of an orthonormal basis of Vn (L) is n.

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

MAIN RESULT

Theorem: If S = {x1 , x2 , . . . , xm } is an orthogonal unit ortho set in

Vn (L) with m < n then S can be extended to an orthonormal basis
for Vn (L).

On inner product over a lattice vector space

 ABSTRACT
PRELIMINARIES
DEFINITIONS
MAIN RESULTS
REFERENCES

REFERENCES

Birkhoff G. , Lattice Theory, American Mathematical Society,

Providence, RI, USA, 3rdedition, 1967.
Geena Joy, K. V. Thomas., Lattice vector spaces and linear
transformations, world scientific, vol.12, no.1, (2018),
1950031(1)-1950031(12).
Giveon.Y.,Lattice matrices,Information and Control, vol. 7, no. 4,
pp. 477484,1964
Stan Gudder and Frederic Latremoliere., Boolean Inner product
Spaces and Boolean Matrices,Linear Algebra and Applications 431
(2009) 1-2, 272-296

On inner product over a lattice vector space