UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition"

Transcript

1 UNIT - I LINEAR ALGEBRA Definition Vector Space : A non-empty set V is said to be vector space over the field F. If V is an abelian group under addition and if for every α, β F, ν, ν 2 V, such that αν V satisfying following condition (i) α F, v, v α v+ v2 = αv + α v2; (ii) ( + ) v = v + v V α β α β ; α, β F, v V (iii) v = ( v ) α, β F, v V αβ α β ; (iv) F v = v. Example Let V = F [x] over F it is a vector space usual addition and multiplication of polynomial. Subspace : subspace. Let W φ V and α, β F, w, w2 W wth αw+ β w2 W then we called W is Example : W is the collection of all polynomial with degree less than n is subspace of F[ x ]. Homomorphism in vector space If U and V are vector space over F then the mapping T : U V is said to be a homomorphism. If (i) T ( u + u ) = T( u ) + T( u ) (ii) T ( u ) = T( u ) α α u, u U and α F

2 Lemma : If V is a vector over F then ) α 0= 0 2) 0 v = 0 3) α( v) = ( αv) 4) If v 0 and α v = 0 α = 0, α Fv, V. Lemma : If V is a vector space over F and if W is a subspace of V then V/W is a vector space over F, where for v + W, v 2 + W V/ W (i) v + W + v + W = v + v + W (ii) α ( α ) v + W = v + W Theorem : If T is homomorphism of U onto V with Kernal W then V is isomorphic to V/W, conversely, if U is a vector space and W is subspace of U then there is a homomorphism of U onto U/W. U v T onto T v V η v+ W φ U/W 2

3 Definition Internal Direct Sum Let V be a vector space over F and let U, U 2,..., U n be subspace of V, V is said to be the internal direct sum of U, U 2,..., v= u + u u n where ui Ui. U. If every element v V can be written in one and only one as n Definition External Direct Product Any finite number of vector spaces over F, V, V 2,..., V n. Consider the set V of all order n tuples ( v, v 2,..., v n) where ) Let v= u+ w v i V i, V is called external direct sum V, V 2,..., V n. ( u, u,..., u ) ( v, v,..., v ) = + m (,,..., ) = u + v u + v u + v, uw, V 2 2) αv α( u, u,..., u ) Theorem = m ( αu, αu,..., αu ) = m m m m If V is the internal direct sum of U, U2,..., Unthen V is isomorphic to the external direct sum of U, U2,..., U n. v = u + u u n u, u 2,..., u n Linear Independent and Basis Linear Combination If V be a vector space over F and v, v 2,..., v n V then any element of the form, α v + α2v α n v n where α i F is a linear combination over F of v, v2,..., v n. Linear Span If S be a non-empty subset of vector space V then L (S) the Linear Span of S is the set of all linear combinations of elements of S. 3

4 Lemma : L (S) is subspace of V. If S, T are subsets of V then ) S T LS LT 2) L L( S) = L S 3) L( S T) = L( S) + L( T) Finite Dimensional V The vector space V is said to be finite dimensional if there is a finite subset S in V such that = LS. Linear Dependent Set : If V is vector space and if v, v2,..., v n are in V. We say that they are linearly dependent over F if there exist elements α, α2,..., α n in F not all of them zero such that, α v + α2v αnvn= 0 Linearly Independent Set : If V is vector space and if v, v2,..., v n are in V we say that they are linearly independent in F all are zero such that α v + α2v α v = 0 n n Lemma If v, v,..., v V are linearly independent then every element in their linear span have a n unique representation in the form α v + α2v α n v n with α i ' s F. Theorem If v v 2,,..., v n are in V then either they are linearly independent or some v k is linear combination of preceeding once v, v 2,..., v k. 4

5 Carollary : If v, v2,..., v n in V have W as a linear span and if v, v 2,..., vk are linearly independent then we can find a subset of v, v2,..., v n of the form v, v 2,..., v k, vi, vi2,..., v ir consisting of linearly independent elements whose linear span is also W. Carollary : If V is a finite dimensional vector space then it contains a finite set v, v 2,..., v n of linearly independent elements whose linear span is V. Basis : A subset S of a vector space V is called a basis of V if S consist of linearly independent elements and V = L (S). Carollary : If V is a finite dimensional vector space and if u, u 2,..., u m span V then some subset of u, u2,..., u m forms a basis of V.. Lemma : If v, v2,..., v n is a basis of V over F and if w, w2,..., w m in V are linearly independent over F, then m n. Carollary : If V is finite dimensional over F then any two basis of V have the same number of elements. Carollary : ( n) F is isomorphic to ( m) F if and only if n = m. (by above carollary). (Two vector spaces are isomorphic if and only if dimension is same). Carollary : If V is finite dimensional over F then V is isomorphic to ( n) F for a unique integer n. (integer n depends on dimensions of V). (No. of elements in the basis : dimension). 5

6 Carollary : Any two finite dimensional vector spaces over F of the Same dimension are isomorphic. Lemma : If V is finite dimensional over F and if u, u2,..., um V are linearly independnt then we can find vectors um+, um+ 2,..., um+ r V such that u, u 2,..., um, um+, u m+ rform a basis of V. Lemma : If V is finite dimensional and if W is a subspace of V then W is finite dimensional, V dimw dimv and dim dim( V) dim( W) W =. Carollary : If A and B are finite dimensional subspaces of a vector space V then A + B is finite dimesnional and dim( A+ B) = dima+ dimb dim ( A B ). Dual Space Lemma : Hom (V, W) is a vector space over F under the operation ( T+ S)( v) = T( v) + S( v ). T ( αv) = α T( v), α F and v V. Proof : Let V and W be vector spaces over F and consider a collection of homomorphisms form V to W. As, (Hom (V, W), +) (i) Let ( T+ S)( v) = T( v) + S( v) and T ( αv) = α T( v) ; where α F and v V. Take v, v 2 V and T, S Hom (V, W) ( T S)( v v ) T ( v v ) S( v v ) + + = = T v + T v + S v + S v 6

7 = T v + S v + T v + S v 2 ( T S)( v ) ( T S)( v ) = (, ) T+ S Hom VW (ii) Scalar Multiplication Let ( T+ S)( αv) = T ( αv) + S ( α v) ; α F and v V. = αt( v) + α S( v)... T, S Hom( VW, ) = α ( T( v) + S( v) ) = α ( T+ S)( v) (iii) Associative Property Let T, T 2, T 3 Hom (V, W) and v V. (( T T ) T )( v) ( T T )( v) T ( v) + + = Now, = T ( v) + T ( v) + T ( v) 3 = T ( v) + ( T + T )( v) 3 ( T ( T T ))( v) = ( T T )( v + v ) = ( T + ( T ))( v + v ) = T v + v + T v + v 2 = T v + T v + T v + T v 2 2 ( ) ( ) = T v + T v + T v + T v 2 2 = T v + T v T v T v 2 2 = T v T v + T v T v 2 2 ( T ( T ))( v ) ( T ( T ))( v ) = ( T T )( v ) ( T T )( v ) = + 2 7

8 , T T Hom VW Also ( T T )( αv) = T ( αv) + ( T )( αv) ( (, ), ) = αt ( v) + ( ) T ( αv) = αt ( v) αt ( v) = α T T v Hom VW + is a group. Let ( T + T )( v) = T ( v) + T ( v) (,,+) Hence, = T ( v) + T ( v ) T ( v ), T ( v) W and W is a vector S. 2 = ( T + T )( v) 2 Hom VW is abelian. Let λ F, T Hom( VW, ) and ab, F. ( T)( av bv ) T( ( av bv )) 2 λ + = λ +... by linearity of T. (, ) λt Hom VW ( λ ) ( λ ) = T av + T av = λat v + λbt ( v ) ( λ ) ( λ ) = a T v + b T v Scalar multiplication distrubute over addition. λ ( T T )( v) λ ( T T )( v) + = + = λ T v + T2 v ( T )( v) ( T )( v) = + v, v V. λ λ 2... W is a V. S. and (( λt ) ( λt ))( v) = + 8

9 Vector multiplication distrubute over scalar addition ( λ + β) T ( v) = ( λ + β) ( T ( v) ) = λt ( v) + β T ( v)... W is a Vector space = ( λt )( v) + ( βt )( v)... λt, βλ Hom( VW, ) = ( λt + βt )( v) T ( v) = ( T ( v) ) λβ λ β... T ( v) W = β ( λt( v) ) Identity w.r.t. multiplication T ( v) = T( v) = T ( v) = T v Hom (V, W) is a vector space over F. Hence the proof. Theorem : mn over F. Proof : If V and W are of dimensions m and n respectively over F, then Hom (V, W) is of dimension We prove the theorem by exhibiting a basis of Hom (V, W) over F consisting m, n elements. Let v, v 2,..., v m be a basis of V over F and w, w2,..., w n be a basis of W over F. Define Tij : V W as T ( v) = w ij i j We claim that (, ) and spans Hom (V, W). Let vu, V. ij α and = T v w ; for i = k. ij k j = 0 ; for i k. T Hom VW and { ij =,2,...,, =,2,..., } v= α v + α2v α m v m and T i m j n is linearly independent u = β v + β2v β m v m, α, α2,..., α m, β, β2,..., β m F. 9

10 Now, ( α + β ) = ( αα + αα αα + ββ + ββ ββ ) T v u T v v v v v v ij ij 2 m m 2 m m ( αα ββ ) ( αα ββ ) = T + v v ij m m m ( αα ββ ) = w ( αα ββ ) = + i i j i i j w ( 0 w... αiwj 0 wj wm) = α ( 0 w... βiwj 0 wj... 0 wn) + β = αt ( v) + βt ( u) ij (, ) T Hom VW. ij Let S (, ) S v W. Hence, Hom VW and v V. S v = αw + α2w α n w n. For some α, α2,..., α n F. In fact, 2... Consider ij S v = α w + α w + + α w, i =, 2,..., m. i i i in n S = α T + α T α T + α T α T n n 2n 2n Let us compute S0 ( v i ) αmtm α mn T mn [ α... α... α... α ] S v = T + + T + + mtm + + T v 0 i n n mn mn i = α w + α w α w = S( vi ) i i2 2 in n Thus, the Homomorphisms S 0 and S agree on the basis of V. S0 = S 0 T ij ( v ) k wj i= k = 0 i k

11 However, S 0 is linear combination of T ij whence S must be the same linear combination. Thus, the set B spans Hom (V, W). Now, we will show B is linearly independent Suppose, ( T T T T T ) β + β β β β = 0; 2 2 n n m m mn mn where B F. ij Apply this on a basis vector v i of V. ( β T β T β T β T β T )( v ) ( v ) = 0 = n n m m mn mn i i β w + β w β w = 0 βi = βi2 =... β in. i i i2 2 in n Since w ' s are basis elements of W. i This implies β = 0 for all i and j. ij Thus, β is linearly independent over F and forms a basis of Hom (V, W) over F. dim Hom (V, W) is mn. Hence the proof. Corollary :. If dim V = m then dim Hom (V, V) = m 2. Proof : Replace W by V and n by m. 2. If dim V = m then dim (Hom (V, F)) = m. Proof : As F a vector space is of dimension one over F. Note : If V is finite dimensional over F. It is isomorphic to Hom (V, F). Dual Space : ˆ V If V is a vector space then it s dual space is Hom (V. F). It is denoted by V ˆ. The elements of will be called a linear functional on V into F.

12 Problem : Show that vˆ, vˆ 2,..., v ˆn is a basis of V ˆ, for v, v2,..., v n is basis of V and Solution : i( j) vˆ v = if i = j = 0 if i j.... () Consider α vˆ + α2vˆ αnvˆn = 0 for α, α2,..., αn F ( v ˆ v ˆ )( v ) α α = 0 α = 0 it is true i n n i i vˆ,..., vˆn are linearly independent. ˆ = ˆ ˆ ˆ is basis of V.. dimv dim V v, v2,..., vn Lemma : If V is finite dimensional and v 0 in V then there is an element f V ˆ such that f ( v ) 0. Proof : Let V is finite dimensional vector space over F and let v, v 2,..., vn be a basis of V.. Let vˆ i V ˆ defined by vˆ i( v j) = if i = j Consider, vˆ ( v ) = 0 for v 0 in V, i ( α α α ) vˆ v + v v = 0 i n n n = 0 if i j. n v= αivi, i F i= α. α i =0... by definition of v ˆi. All Definition : α i ' s used in the representation of v are zero. Hence v = 0, a contradiction. Thus, vˆ ( v ) 0. i vˆ = f V ˆ such that f ( v ) 0. i Hence the proof. Let the functional on ˆ with T = ( f + g )( v ) v 0 0 V into F, Tv ( f ) f ( v0 ) = for f V ˆ. = f v + g v... Hom (V, F) = T f + T g v v 0 0 2

13 ( λ ) = λ T f f v v 0 0 v 0 λ T f T v 0 is in dual of V ˆ it is called Second Dual of V. It is denoted by V ˆ. Leema : If V is finite dimensional then there is an isomorphism of V onto ˆ V. Proof : Let V is finite dimensional vector space. Define the map ψ : V Vˆ by ψ ( v) = Tv for every v V. We will show ψ is well-defined, one-one, onto, homomorphism. Let uv, V. Let u = v. f ( u) = f ( v )... f Vˆ T = T u ψ ( u) = ψ ( v) v Thus ψ is well-defined and one-one. Now, consider uv, V. ( u + v) = Tu v ψ + but T u+ v = f u + v = + f u f v = T ( f ) + T ( f ) ( T T )( f ) = + u T = T + T u+ v u v ψ ( u + v) = Tu + Tv v = ψ ( u) + ψ ( v) ψ ( u + v) = ψ ( u) + ψ ( v) Let α be any element. ψ ( αv) = T = f ( αv) = α f ( v) αv u = α... Vector space. T v = αψ ( v) ψ is homomorphism. v 3

14 Annihilator : If W is a subspace of V then the annihilator of W { } AW = f V ˆ f ( w ) = 0; w W EXERCISE.... Show that AW is subspace of V ˆ. Proof : Let f, g A( w ) and α, β F ; w is arbitrary element in W. Claim : α f + βg AW f ( w) = 0 = g( w ), w W. ( α f + βg)( w) = α f ( w) + βg( w) = α 0+ β 0 = 0 α f + βg AW Hence the proof. Note :. If W = { 0} is the 0 subspace of V then AW = V ˆ. 2. If W = V then AW = { 0}. 3. If V is finite dimensional vector space and W contains a non-zero vector and also W is a proper subspace then AW is non-trivial, proper subspace of V ˆ. Lemma : If V is finite dimensional vector space over F and W is a subspace of V then W ˆ to V ˆ / AW and dim( AW ) = dimv dimw. Proof : Let W be a subspace of V where V is finite dimensional. is isomorphic If f V ˆ, let f be the restriction of f to W and is defined on W. As, f ( w) = f ( w ) for every w W. 4

15 f Wˆ ; since f V ˆ. Now, consider the mapping T : Vˆ W ˆ ; defines as = T f f ; for f V ˆ. Let f, g V ˆ such that f = g. f ( v) = g( v ); for every v V i.e. f ( v) = g( v ); for every v W V f ( v) = g( v ) ; for v W f = g T ( f ) = T( g )... by definition of T. Hence T is well-derined and one-one. For Homomosphism of T, Consider, T ( f + g) = f + g ( f + g)( v) = ( f + g)( v) = f ( v) + g( v) = ( f + g)( v) T ( f + g) = f + g = T( f ) + T ( g) and T ( f ) = f = f = T( f ) λ λ λ λ... since λ is scalar. T is Homomorphism. Now, we will show that T is onto. i.e. for a given any element h W ˆ. Then h is the restriction of some f V ˆ. i.e. f = h 5

16 dim (V) = n. We know that, if w, w2,..., w m is a basis of W, subspace of V.. Then it can be expanded to a basis of V of the form {,...,,... } Let W be the subspace of V spanned by {,,..., } Thus, = w w w. m+ m+ 2 n w w w w ; whose m m+ n V W W ( { w w } does not belong to { } and W W = whole space) m n +,..., Any element of V is represented as v= w + w ; w W and w W. For h W ˆ, define f V ˆ as f ( v) = h( w ). f w+ w = h w f w + f w = h w f ( v) = h( w) f Vˆ we have f = h. f ( w) = h( w) Thus, T ( f ) = h and so T maps V ˆ onto W ˆ. Consider, { ˆ } ker T = f V T f = 0 { f V ˆ f 0 } = = = { f V ˆ f ( w ) = 0 w W } w,..., w n so W W = φ = { f V ˆ f ( w ) = 0 w W }... f ( w ) = f ( w ) every w W. = AW Thus, by fundamental theorem of isomorphism (algebra). Wˆ Vˆ AW In particular they have the same dimensions ˆ dim ˆ dim V W = AW, 6

17 Also, we know Above expression become, dim dim V W = AW dimw = dimv dim AW Hence the proof. dimv = dimv ˆ and dimw = dimw ˆ. Theorem : Proof : If V be a finite dimensional vector space over the field F. Let W be a subspace of V, then dimw + dimaw = dimv If W is the 0 subspace of V then AW = V ˆ. dim( AW ) = dimvˆ = dim V. Similarly, the result is obvious when W = V. also. Let us suppose that W is proper subspace of V and dim W = m, dim V = n with 0 < m < n. Let {,,..., } B w w w be as basis for W. Since, B is linearly independent subset of V = m It can be extended to form a basis for V.. Let {,,...,,,..., } B w w w w w be a basis for V.. = m m+ n Let ˆ {,,...,,,..., } B f f f f f be a dual basis of V.. = m m+ n Then ˆB is a basis for ˆ V such that i j = ij = 0 We claim that {,,..., } Since = m+ m+ 2 n f w δ ; if i j = ; if i = j. S f f f is a basis of AW. S B ˆ. Therefore S is linearly independent because ˆB is linearly independent. Therefore, S is basis of AW if LS = AW. Let f AW, f V ˆ. 7

18 So, let f = n α ifi ; α F... () i= i Now, f AW. f ( w ) = 0 w AW. ( j ) 0 f w = for each j =, 2,...,m. ( w ) n αifi j i= = 0 ( j) ( j ) j j ( j) i i( j) n n( j) α f w + α f w α f w + α f w α f w = 0 2 α j =0 ( j) 0, f i w = i j =, i= j Putting, α = α2 =... = α = 0 in () m f = n αifi i= m+ f L( S) A( W ) contained in L( S ). Let g L( S ). = n g Bf i i Let i= m+ w W. w = m γ jwj j= n m g( w) = βifi γ jwj i= m+ j= m n = γ β f ( w ) j i i j j= i= m+ 8

19 ( + f + ( w )... f ( w )) m γ j β m m j β n n j j= = γ β = γβ f w + + f w + m+ m+ m m m+ j = 0 γβ γ β f w f w m+ 2 m+ 2 m m+ 2 m+ 2 m γ β γβ f w f w n n m n n n g( w) = 0 Hence, g AW. Therefore, L( S) AW we have LS = AW dimvˆ = dimaaw ( ) + dim AW dim ( AW ) = n m = dimv dimw dimv = dimw + dim AW Anihilator of Anihilator Let V be a vector space over F if any subset of V then A (S) is subspace of V ˆ definition of annihilator. { } A ( A ( S )) = L V ˆ L ( f ) = 0, f A ( S ) and by Example : ) Show that A( A( S )) is subspace of V ˆ. Note : v L v. If V is finite dimensional vector space then we have identity ˆ V with V through the isomorphism 9

20 Therefore, we may regard A( A( S )) as subsapce of V.. { } A( A( S) ) = v V f ( v) = 0 f AS Corollary : If W is subspace of V finite dimensional vector space then AAW ( ) = W. Proof : We have, { } AW = f V ˆ f ( w ) = 0, w W... () { } AAW ( ) = v V f ( v) = 0, f AW... (2) Let w W. Then by () f ( w ) = 0, w W V. There from equation (2); f ( w ) = 0, f AW. Therefore we have, AAW ( ) Hence, W AAW Let v AAW, v V. f ( v ) = 0, f AW f ( v ) = 0, f AW for v W AAW ( ) W. AAW ( ) = W dimvˆ = dimaaw ( ) + dim AW dimv = dimaaw ( ) + dim( V) dim W dimaaw ( ) + dim( W) AAW ( ) = W. Hence the required. Problem : Let V be finite dimensional vector space over the field F. If S is subset of V prove that A( S) = A L( S ) where L( S ) is linear span of S. Solution : Let V be a finite dimensional and S is any subset of V. We know that S L( S ). 20

21 Therefore, A L( S) AS... () ( W V and W = { 0} V AW = Vˆ, AV = { 0}, V ˆ { 0 } ) Now, let f A( S ) then f ( s ) = 0 for all s S. If u is any element of L( S ) then u = α isi L S. Consider, = n f u f αisi i= i= = n αi f Si n i= n i= = α i 0; S S i = 0 f A( L( S ))... (2) A( S) A L( S) A( L( S) ) = A( S) Hence the result. Problem : Let V be finite dimensional vector space over F. If S is any subset of V then prove that A( A( S) ) = L( S ). Solution : By previous A( S) = A L( S ). By taking annihilator on both sides, A( A( S) ) = L( S )... L( S ) is subspace of V.. Problem : Let W and 2 terms of AW ( ) and ( 2 ) Solution : W be subspaces of V which is finite dimensional. Describe ( + ) AW. Let W and W 2 be two subspaces of V. AW W in 2

22 We have, W W + W 2 and W2 W + W 2. Since, AW ( + W ) AW and ( + ) AW + W AW AW Conversely let, f AW AW f AW and f AW f ( w ) = 0, Let any f w 2 = 0. 2 AW W AW. 2 w W, w2 W 2. w W. Thus w W is represented as w= w+ w 2. f w = f w + w = f w + f w = 0 f ( w) = 0 f AW + W AW AW AW + W AW + W = AW AW Hence, the result. Problem : If W and W 2 be subspaces of finite dimensional vector spaces. Describe AW ( W ) in terms of + AW AW. Solution : By using previous exercise by replacing V by ˆ V, ( + ) = ( ) ( ) AAW AW AAW AAW = W W ( ( ( ) ( 2) )) ( ) A A A W + AW = AW W W by AW, 2 AW AW AW ( W ) = Hence, the result. W by AW we get; AW AW 2 is a subspace of V ˆ. 2 22

23 System of Linear Homogenous Equation Theorem : If the system of homogeneous linear equations a x + a x a x = 0 n 2 2 n n a x + a x a x = n n amx+ am2x amnxn = 0 where a ij F is of rank r then there are n r linearly independent solutions in ( n) F. Proof : Consier, the system of m equations and n unknowns. a x + a x a x = n n amx+ am2x amnxn = 0 where a ij F Now, we find how many linearly independent solutions ( x, x 2,..., x n) in ( n) F. Let U be the subspace generated by m vectors with ( a a a ),,..., n 2 ( a a a ),,..., n 22 2 (,,..., ) a a a and supposed that U is of dimensions r. m m2 mn Let v =, v =,..., = ( 0,0,0,...,0,),0,...,0 2 0,,...,0 v n be a basis for ( n) F. vˆ, vˆ2,..., v ˆn be it s dual basis of ˆ ( n ) F, any small f F ˆ n can be expressed as a linear combination of vˆ i ' s. = n f xv iˆi ; x F i= a, a,..., a U. For 2 n i We have, f ( a, a,..., a ) = f ( a v + a v a v ) 2 n 2 2 n n ( a (,0,...,0) + a ( 0,,...,0 ) = ( a, a,...))

24 ... = f a v + f a v + + f a nv 2 2 n n n... = a xvˆ v + a xvˆ v + + a xvˆ v i i 2 i i 2 n i i n i= i= i= = ax + a2x a n x n ( j)... v ˆ v = 0 i i j = 0 This is true for the other vectors in U. f AU = i= j Every solution ( x, x 2,..., x n) of the system of homogenous equation it s an elements xv ˆ + xv 2ˆ xv n ˆ n in AU. Therefore, we see that the number of linearly independent solutions of the system of equation is the dimension of AU. But we know, ( n) dimf = dimu + dim AU dim AU = n r Hence, the proof. Corollary : If n > m that is if no. of unknowns exceeds the number of equations then there is a solution ( x, x 2,..., x n) where not all of ( x, x 2,..., x n) are 0. Proof : Since U is generated by m vectors and m < n also r = dim( U) < m. By above theorem the dim AU = n r this number is nothing but no. of elements in the basis of AU which are non-zero vectors. Hence, the proof. 24

25 EXERCISE :. If ST, Hom( VW, ) and S( v ) T( v ) S = T. i = for all elements v i of a basis of V, prove that i 2. If V is finite dimensional and v v 2 are in V, prove that there is an f Vˆ such that f ( v ) f v. 3. If F is the field of real numbers, find A (W), where W is spanned by (, 2, 3) and (0, 4, ). 4. If f and g are in V ˆ such that f ( v ) = 0 implies g( v ) = 0, prove that g = λ f for some λ F. 25

Reminders: linear functions

Reminders: linear functions Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U

Διαβάστε περισσότερα

EE512: Error Control Coding

EE512: Error Control Coding EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3

Διαβάστε περισσότερα

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal

Διαβάστε περισσότερα

2 Composition. Invertible Mappings

2 Composition. Invertible Mappings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all

Διαβάστε περισσότερα

Every set of first-order formulas is equivalent to an independent set

Every set of first-order formulas is equivalent to an independent set Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent

Διαβάστε περισσότερα

Matrices and Determinants

Matrices and Determinants Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z

Διαβάστε περισσότερα

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)

Διαβάστε περισσότερα

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that

Διαβάστε περισσότερα

Example Sheet 3 Solutions

Example Sheet 3 Solutions Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note

Διαβάστε περισσότερα

Lecture 15 - Root System Axiomatics

Lecture 15 - Root System Axiomatics Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the

Διαβάστε περισσότερα

dim(u) = n 1 and {v j } j i

dim(u) = n 1 and {v j } j i SOLUTIONS Math B4900 Homework 1 2/7/2018 Unless otherwise specified, U, V, and W denote vector spaces over a common field F ; ϕ and ψ denote linear transformations; A, B, and C denote bases; A, B, and

Διαβάστε περισσότερα

Lecture 13 - Root Space Decomposition II

Lecture 13 - Root Space Decomposition II Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

Finite Field Problems: Solutions

Finite Field Problems: Solutions Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The

Διαβάστε περισσότερα

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p) Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

Διαβάστε περισσότερα

MATH1030 Linear Algebra Assignment 5 Solution

MATH1030 Linear Algebra Assignment 5 Solution 2015-16 MATH1030 Linear Algebra Assignment 5 Solution (Question No. referring to the 8 th edition of the textbook) Section 3.4 4 Note that x 2 = x 1, x 3 = 2x 1 and x 1 0, hence span {x 1, x 2, x 3 } has

Διαβάστε περισσότερα

Homework 3 Solutions

Homework 3 Solutions Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For

Διαβάστε περισσότερα

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required) Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts

Διαβάστε περισσότερα

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University

Διαβάστε περισσότερα

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Partial Differential Equations in Biology The boundary element method. March 26, 2013 The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet

Διαβάστε περισσότερα

A Note on Intuitionistic Fuzzy. Equivalence Relation

A Note on Intuitionistic Fuzzy. Equivalence Relation International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com

Διαβάστε περισσότερα

Numerical Analysis FMN011

Numerical Analysis FMN011 Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =

Διαβάστε περισσότερα

ST5224: Advanced Statistical Theory II

ST5224: Advanced Statistical Theory II ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known

Διαβάστε περισσότερα

Section 8.3 Trigonometric Equations

Section 8.3 Trigonometric Equations 99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.

Διαβάστε περισσότερα

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.

Διαβάστε περισσότερα

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

6.1. Dirac Equation. Hamiltonian. Dirac Eq. 6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2

Διαβάστε περισσότερα

Congruence Classes of Invertible Matrices of Order 3 over F 2

Congruence Classes of Invertible Matrices of Order 3 over F 2 International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and

Διαβάστε περισσότερα

Concrete Mathematics Exercises from 30 September 2016

Concrete Mathematics Exercises from 30 September 2016 Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)

Διαβάστε περισσότερα

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =

Διαβάστε περισσότερα

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch: HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying

Διαβάστε περισσότερα

Statistical Inference I Locally most powerful tests

Statistical Inference I Locally most powerful tests Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided

Διαβάστε περισσότερα

C.S. 430 Assignment 6, Sample Solutions

C.S. 430 Assignment 6, Sample Solutions C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order

Διαβάστε περισσότερα

Fractional Colorings and Zykov Products of graphs

Fractional Colorings and Zykov Products of graphs Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is

Διαβάστε περισσότερα

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β 3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle

Διαβάστε περισσότερα

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X. Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:

Διαβάστε περισσότερα

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ. Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action

Διαβάστε περισσότερα

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)

Διαβάστε περισσότερα

Homomorphism in Intuitionistic Fuzzy Automata

Homomorphism in Intuitionistic Fuzzy Automata International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic

Διαβάστε περισσότερα

SOME PROPERTIES OF FUZZY REAL NUMBERS

SOME PROPERTIES OF FUZZY REAL NUMBERS Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical

Διαβάστε περισσότερα

3.2 Simple Roots and Weyl Group

3.2 Simple Roots and Weyl Group 44 CHAPTER 3. ROOT SYSTEMS 3.2 Simple Roots and Weyl Group In this section, we fix a root system Φ of rank l in a euclidean space E, with Weyl group W. 3.2.1 Bases and Weyl chambers Def. A subset of Φ

Διαβάστε περισσότερα

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- ----------------- Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin

Διαβάστε περισσότερα

Parametrized Surfaces

Parametrized Surfaces Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some

Διαβάστε περισσότερα

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R + Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b

Διαβάστε περισσότερα

New bounds for spherical two-distance sets and equiangular lines

New bounds for spherical two-distance sets and equiangular lines New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a

Διαβάστε περισσότερα

Chapter 3: Ordinal Numbers

Chapter 3: Ordinal Numbers Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What

Διαβάστε περισσότερα

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits. EAMCET-. THEORY OF EQUATIONS PREVIOUS EAMCET Bits. Each of the roots of the equation x 6x + 6x 5= are increased by k so that the new transformed equation does not contain term. Then k =... - 4. - Sol.

Διαβάστε περισσότερα

12. Radon-Nikodym Theorem

12. Radon-Nikodym Theorem Tutorial 12: Radon-Nikodym Theorem 1 12. Radon-Nikodym Theorem In the following, (Ω, F) is an arbitrary measurable space. Definition 96 Let μ and ν be two (possibly complex) measures on (Ω, F). We say

Διαβάστε περισσότερα

Other Test Constructions: Likelihood Ratio & Bayes Tests

Other Test Constructions: Likelihood Ratio & Bayes Tests Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :

Διαβάστε περισσότερα

4.6 Autoregressive Moving Average Model ARMA(1,1)

4.6 Autoregressive Moving Average Model ARMA(1,1) 84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this

Διαβάστε περισσότερα

The Simply Typed Lambda Calculus

The Simply Typed Lambda Calculus Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and

Διαβάστε περισσότερα

derivation of the Laplacian from rectangular to spherical coordinates

derivation of the Laplacian from rectangular to spherical coordinates derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used

Διαβάστε περισσότερα

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8  questions or comments to Dan Fetter 1 Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test

Διαβάστε περισσότερα

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed

Διαβάστε περισσότερα

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω 0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +

Διαβάστε περισσότερα

Second Order Partial Differential Equations

Second Order Partial Differential Equations Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y

Διαβάστε περισσότερα

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1. Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given

Διαβάστε περισσότερα

Quadratic Expressions

Quadratic Expressions Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots

Διαβάστε περισσότερα

The challenges of non-stable predicates

The challenges of non-stable predicates The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates

Διαβάστε περισσότερα

Uniform Convergence of Fourier Series Michael Taylor

Uniform Convergence of Fourier Series Michael Taylor Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula

Διαβάστε περισσότερα

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007 Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο

Διαβάστε περισσότερα

Cyclic or elementary abelian Covers of K 4

Cyclic or elementary abelian Covers of K 4 Cyclic or elementary abelian Covers of K 4 Yan-Quan Feng Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China Summer School, Rogla, Slovenian 2011-06 Outline 1 Question 2 Main results 3

Διαβάστε περισσότερα

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006 Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Ολοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα είναι μικρότεροι το 1000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Διάρκεια: 3,5 ώρες Καλή

Διαβάστε περισσότερα

Homomorphism of Intuitionistic Fuzzy Groups

Homomorphism of Intuitionistic Fuzzy Groups International Mathematical Forum, Vol. 6, 20, no. 64, 369-378 Homomorphism o Intuitionistic Fuzz Groups P. K. Sharma Department o Mathematics, D..V. College Jalandhar Cit, Punjab, India pksharma@davjalandhar.com

Διαβάστε περισσότερα

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1 Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the

Διαβάστε περισσότερα

Lecture 10 - Representation Theory III: Theory of Weights

Lecture 10 - Representation Theory III: Theory of Weights Lecture 10 - Representation Theory III: Theory of Weights February 18, 2012 1 Terminology One assumes a base = {α i } i has been chosen. Then a weight Λ with non-negative integral Dynkin coefficients Λ

Διαβάστε περισσότερα

Space-Time Symmetries

Space-Time Symmetries Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a

Διαβάστε περισσότερα

5. Choice under Uncertainty

5. Choice under Uncertainty 5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation

Διαβάστε περισσότερα

Srednicki Chapter 55

Srednicki Chapter 55 Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third

Διαβάστε περισσότερα

1. Introduction and Preliminaries.

1. Introduction and Preliminaries. Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.yu/filomat Filomat 22:1 (2008), 97 106 ON δ SETS IN γ SPACES V. Renuka Devi and D. Sivaraj Abstract We

Διαβάστε περισσότερα

Bounding Nonsplitting Enumeration Degrees

Bounding Nonsplitting Enumeration Degrees Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,

Διαβάστε περισσότερα

Generating Set of the Complete Semigroups of Binary Relations

Generating Set of the Complete Semigroups of Binary Relations Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze

Διαβάστε περισσότερα

LINEAR ALGEBRA. 4th STEPHEN H.FRIEDBERG, ARNOLD J.INSEL, LAWRENCE E.SPENCE. Exercises Of Chapter 1-4

LINEAR ALGEBRA. 4th STEPHEN H.FRIEDBERG, ARNOLD J.INSEL, LAWRENCE E.SPENCE. Exercises Of Chapter 1-4 LINEAR ALGEBRA 4th STEPHEN H.FRIEDBERG, ARNOLD J.INSEL, LAWRENCE E.SPENCE Exercises Of Chapter 1-4 http : //math.pusan.ac.kr/caf e home/chuh/ Contents 1. Vector Spaces................................................

Διαβάστε περισσότερα

Lecture 2. Soundness and completeness of propositional logic

Lecture 2. Soundness and completeness of propositional logic Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness

Διαβάστε περισσότερα

de Rham Theorem May 10, 2016

de Rham Theorem May 10, 2016 de Rham Theorem May 10, 2016 Stokes formula and the integration morphism: Let M = σ Σ σ be a smooth triangulated manifold. Fact: Stokes formula σ ω = σ dω holds, e.g. for simplices. It can be used to define

Διαβάστε περισσότερα

Green s Relations and Partial Orders on Semigroups of Partial Linear Transformations with Restricted Range

Green s Relations and Partial Orders on Semigroups of Partial Linear Transformations with Restricted Range Thai Journal of Mathematics Volume 12 2014 Number 1 : 81 93 http://thaijmathincmuacth ISSN 1686-0209 Green s Relations and Partial Orders on Semigroups of Partial Linear Transformations with Restricted

Διαβάστε περισσότερα

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ. PHY 396 T: SUSY Solutions for problem set #1. Problem 2(a): First of all, [D α, D 2 D α D α ] = {D α, D α }D α D α {D α, D α } = {D α, D α }D α + D α {D α, D α } (S.1) = {{D α, D α }, D α }. Second, {D

Διαβάστε περισσότερα

w o = R 1 p. (1) R = p =. = 1

w o = R 1 p. (1) R = p =. = 1 Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:

Διαβάστε περισσότερα

1 String with massive end-points

1 String with massive end-points 1 String with massive end-points Πρόβλημα 5.11:Θεωρείστε μια χορδή μήκους, τάσης T, με δύο σημειακά σωματίδια στα άκρα της, το ένα μάζας m, και το άλλο μάζας m. α) Μελετώντας την κίνηση των άκρων βρείτε

Διαβάστε περισσότερα

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We

Διαβάστε περισσότερα

Section 7.6 Double and Half Angle Formulas

Section 7.6 Double and Half Angle Formulas 09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)

Διαβάστε περισσότερα

Math221: HW# 1 solutions

Math221: HW# 1 solutions Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin

Διαβάστε περισσότερα

Solutions to Exercise Sheet 5

Solutions to Exercise Sheet 5 Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X

Διαβάστε περισσότερα

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp.115-126. α, β, γ ORTHOGONALITY ABDALLA TALLAFHA Abstract. Orthogonality in inner product spaces can be expresed using the notion of norms.

Διαβάστε περισσότερα

CRASH COURSE IN PRECALCULUS

CRASH COURSE IN PRECALCULUS CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter

Διαβάστε περισσότερα

Chapter 2. Ordinals, well-founded relations.

Chapter 2. Ordinals, well-founded relations. Chapter 2. Ordinals, well-founded relations. 2.1. Well-founded Relations. We start with some definitions and rapidly reach the notion of a well-ordered set. Definition. For any X and any binary relation

Διαβάστε περισσότερα

Intuitionistic Fuzzy Ideals of Near Rings

Intuitionistic Fuzzy Ideals of Near Rings International Mathematical Forum, Vol. 7, 202, no. 6, 769-776 Intuitionistic Fuzzy Ideals of Near Rings P. K. Sharma P.G. Department of Mathematics D.A.V. College Jalandhar city, Punjab, India pksharma@davjalandhar.com

Διαβάστε περισσότερα

On the Galois Group of Linear Difference-Differential Equations

On the Galois Group of Linear Difference-Differential Equations On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts

Διαβάστε περισσότερα

( y) Partial Differential Equations

( y) Partial Differential Equations Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate

Διαβάστε περισσότερα

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S. Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. Proof. ( ) Since α is 1-1, β : S S such that β α = id S. Since β α = id S is onto,

Διαβάστε περισσότερα

Semigroups of Linear Transformations with Invariant Subspaces

Semigroups of Linear Transformations with Invariant Subspaces International Journal of Algebra, Vol 6, 2012, no 8, 375-386 Semigroups of Linear Transformations with Invariant Subspaces Preeyanuch Honyam Department of Mathematics, Faculty of Science Chiang Mai University,

Διαβάστε περισσότερα

PARTIAL NOTES for 6.1 Trigonometric Identities

PARTIAL NOTES for 6.1 Trigonometric Identities PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot

Διαβάστε περισσότερα

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik Affine Weyl Groups Gabriele Nebe Lehrstuhl D für Mathematik Summerschool GRK 1632, September 2015 Crystallographic root systems. Definition A crystallographic root system Φ is a finite set of non zero

Διαβάστε περισσότερα

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =? Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least

Διαβάστε περισσότερα

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013 Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering

Διαβάστε περισσότερα

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2 ECE 634 Spring 6 Prof. David R. Jackson ECE Dept. Notes Fields in a Source-Free Region Example: Radiation from an aperture y PEC E t x Aperture Assume the following choice of vector potentials: A F = =

Διαβάστε περισσότερα

F A S C I C U L I M A T H E M A T I C I

F A S C I C U L I M A T H E M A T I C I F A S C I C U L I M A T H E M A T I C I Nr 46 2011 C. Carpintero, N. Rajesh and E. Rosas ON A CLASS OF (γ, γ )-PREOPEN SETS IN A TOPOLOGICAL SPACE Abstract. In this paper we have introduced the concept

Διαβάστε περισσότερα

arxiv: v3 [math.ra] 24 Nov 2017

arxiv: v3 [math.ra] 24 Nov 2017 In the name of Allah Most Gracious Most Merciful. CLASSIFICATIONS OF TWO-DIMENSIONAL JORDAN ALGEBRAS OVER THE ALGEBRAICALLY CLOSED FIELDS AND R arxiv:7.948v [math.ra] 4 Nov 7 H.AHMED U.BEKBAEV I.RAKHIMOV

Διαβάστε περισσότερα

Commutative Monoids in Intuitionistic Fuzzy Sets

Commutative Monoids in Intuitionistic Fuzzy Sets Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,

Διαβάστε περισσότερα