Professional Documents
Culture Documents
n
gde se pretpostavlja da je k = 0 ako je k < 0 ili k > n, pri čemu Z označava
skup celih brojeva {. . . , −2, −1, 0, 1, 2, 3, . . .}.
2 Primer dokaza
Dokažimo da je: ∀n, m ∈ Z, ako je n − m parno, tada je n3 − m3 parno.
Dokaz: Pretpostavimo da su n i m celi brojevi takvi da je n − m parno.
Prema definiciji parnih brojeva, ∃k ∈ Z : n − m = 2k. Tada je:
n3 − m3 = (n − m)(n2 + nm + m2 ) prema razlici kubova,
= 2k(n2 + nm + m2 ) nakon zamene,
= 2(n2 k + nmk + m2 k) zbog distributivnosti.
S obzirom da su n, m, k ∈ Z, imamo i da je n2 k + nmk + m2 k ceo broj. Zbog
toga, ∃j ∈ Z : n2 k + nmk + m2 k = j.
Tada možemo reći da je n3 − m3 = 2j. Dakle, n3 − m3 je paran broj.
e0 = (. . . , 0, 1, 0, . . . , 0, 1, 0, . . . , 0, 1, 0, . . .)
| {z } | {z }
d−1 nula d−1 nula
X X
H(X) = − p(x) log p(x).
y∈Y x
g(x)=y
1
Na osnovu (2) i činjenice da je (L+R)n = [L(I +R2 )]n = Ln (I +R2 )n , dobijamo:
vn,0 = 0, if j ≡ 0 (mod 2d),
v ≥ 0,
n,j if j ≡ 1, 2, . . . , d − 1 (mod 2d),
qn,n+y0 +j = (3)
v n,d = 0, if j ≡ d (mod 2d),
vn,j ≤ 0, if j ≡ d + 1, d + 2, . . . , 2d − 1 (mod 2d).
u ∗ (v ∗ w) = (u ∗ v) ∗ w,
W _
u ∗ ( i∈I vi ) = (u ∗ vi ),
i∈I
W _
( i∈I ui ) ∗ v = (ui ∗ v),
i∈I
2
mreži sledeća tvrdjenja su tačna, za svaki indeksni skup I:
_ _
a⊗ bi = (a ⊗ bi ), (8)
i∈I i∈I
^ ^
a→ bi = (a → bi ),
i∈I i∈I
_ ^
ai → b = (ai → b),
i∈I i∈I
^ ^
a⊗ bi ≤ (a ⊗ bi ), (9)
i∈I i∈I