ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II)
|
|
- Νηλεύς Ιωαννίδης
- 5 χρόνια πριν
- Προβολές:
Transcript
1 Commun. Korean Math. Soc. 25 (2010), No. 3, pp DOI /CKMS ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) Ahmed Abd El-Kader Ramadan, Salah El-Deen Abbas, and Ahmed Aref Abd El-latif Abstract. In this paper, we have use a fuzzy bitopological space (X, τ 1, τ 2 ) to create a family τ s which is a supra fuzzy topology on X. Also, we introduce and study the concepts of r (τ i, τ )-generalized fuzzy regular closed, r (τ i, τ )-generalized fuzzy strongly semi-closed and r (τ i, τ )- generalized fuzzy regular strongly semi-closed sets in fuzzy bitopological space in the sense of Šostak. Also, these classes of fuzzy subsets are applied for constructing several type of fuzzy closed mapping and some type of fuzzy separation axioms called fuzzy binormal, fuzzy mildly binormal and fuzzy almost pairwise normal. 1. Introduction and preliminaries The concept of fuzzy topology was first defined in 1968 by Chang [2]. A Chang s fuzzy topology is a crisp subfamily of some family of fuzzy sets and fuzziness in the concept of openness of a fuzzy set has not been considered, which seems to be a drawback in the process of fuzzification of the concept of the topological space. Therefore, in 1985 Šostak [18], introduce the fundamental concept of a fuzzy topological structure as an extension of both crisp topology and Chang s fuzzy topology, in the sense that not only the obect were fuzzified, but also the axiomatics. In [19, 20] Šostak gave some rules and showed how such an extension can be realized. Chattopadhyay et. al [3, 4] have redefined the similar concept. In [15, 5] Ramadan gave a similar definition namely Smooth fuzzy topology for lattice L = [0, 1], it has been developed in many direction [7, 9, 10, 12, 13, 17]. In this paper, we introduce and study the concepts of r (τ i, τ )-generalized fuzzy regular closed, r (τ i, τ )-generalized fuzzy strongly semi-closed and r (τ i, τ )-generalized fuzzy regular strongly semi-closed sets which are based on the alternative effect of fuzzy closure and fuzzy interior operators with respect to two fuzzy topologies. Also, these classes of fuzzy subsets are applied for constructing several types of fuzzy closed mappings Received June 8, 2006; Revised February 8, Mathematics Subect Classification. 54A40. Key words and phrases. fuzzy bitopological space, supra fuzzy topology, fuzzy binormal, fuzzy mildly binormal, fuzzy almost pairwise normal. 457 c 2010 The Korean Mathematical Society
2 458 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF and some types of fuzzy separation axioms called fuzzy binormal, fuzzy mildly binormal and fuzzy almost pairwise normal. Throughout this paper, let X be a nonempty set I = [0, 1], I 0 = (0, 1] and I X denote the set of all fuzzy subset of X. For α I, α = α for every x X. A fuzzy set λ is quasi-coincident with a fuzzy set µ, denoted by λqµ, if there exists x X such that λ(x) + µ(x) > 1, if λ is not quasi-coincident with µ, we denote λ qµ, λ qµ if and only if λ 1 µ [14]. Definition 1.1 ([6, 18]). A mapping τ : I X I is called a supra fuzzy topology on X if it satisfies the following conditions: (S1) τ(0) = τ(1) = 1. (S2) τ( i J µ i) i J τ(µ i) for any {µ i : i J} I X. The pair (X, τ) is called supra fuzzy topological space (briefly, sfts). A supra fuzzy topology τ is called fuzzy topology on X if (T) τ(µ 1 µ 2 ) τ(µ 1 ) τ(µ 2 ) for any µ 1, µ 2 I X. The pair (X, τ) is called fuzzy topological space (briefly fts). The triple (X, τ 1, τ 2 ) is called fuzzy bitopological space (briefly, fbts), where τ 1 and τ 1 are fuzzy topologies on X. Throughout this paper, the indices i, {1, 2} and i. Theorem 1.1 ([4]). Let (X, τ) be a fts. For each λ I X and r I 0 we define an operator C τ : I X I 0 I X as follows: C τ (λ, r) = {µ : λ µ, τ(1 µ) r}. For each λ, µ I X and r, s I 0 the operator atisfies the following conditions: (i) C τ (0, r) = 0. (ii) λ C τ (λ, r). (iii) C τ (λ, r) C τ (µ, r) = C τ (λ µ, r). (iv) C τ (λ, r) C τ (λ, s) if r s. (v) C τ (C τ (λ, r), r) = C τ (λ, r). Theorem 1.2 ([8]). Let (X, τ) be a fts. For each λ I X and r I 0, we define an operator I τ : I X I 0 I X as follows: I τ (λ, r) = {µ : µ λ, τ(µ) r}. For each λ, µ I X and r, s I 0 the operator I τ satisfies the following conditions: (i) I τ (1 λ, r) = 1 C τ (λ, r) and C τ (1 λ, r) = 1 I τ (λ, r). (ii) I τ (1, r) = 1. (iii) I τ (λ, r) λ. (iv) I τ (λ, r) I τ (µ, r) = I τ (λ µ, r). (v) I τ (λ, r) I τ (λ, s) if r s. (vi) I τ (I τ (λ, r), r) = I τ (λ, r). Definition 1.2 ([16, 11]). Let (X, τ 1, τ 2 ) be a fbts. For λ I X and r I 0 :
3 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 459 (i) λ is called r (τ i, τ )-fuzzy strongly semi-open (briefly, r (τ i, τ )-fsso) if there exists µ I X with τ i (µ) r such that µ λ I τi (C τ (µ, r), r). (ii) λ is called r (τ i, τ )-fuzzy strongly semi-closed (briefly, r (τ i, τ )-fssc) if there exists µ I X with τ i (1 µ) r such that C τi (I τ (µ, r), r) λ µ. (iii) λ is called r (τ i, τ )-fuzzy regular open (briefly, r (τ i, τ )-fro) if λ = I τi (C τ (λ, r), r). (iv) λ is called r (τ i, τ )-fuzzy regular closed (briefly, r (τ i, τ )-frc) if λ = C τi (I τ (λ, r), r). The set of all r (τ i, τ )-fsso, r (τ i, τ )-fssc, r (τ i, τ )-fro and r (τ i, τ )-frc sets of a fbts (X, τ 1, τ 2 ) will be denoted by r (τ i, τ ) F SSO(X), r (τ i, τ ) F SSC(X), r (τ i, τ ) F RO(X) and r (τ i, τ ) F RC(X) respectively. Theorem 1.3 ([16]). Let (X, τ 1, τ 2 ) be a fbts. For λ I X and r I 0, the following statements are equivalent: (i) λ is r (τ i, τ )-fsso. (ii) 1 λ is r (τ i, τ )-fssc. (iii) λ I τi (C τ (I τi (λ, r), r), r). (iv) C τi (I τ (C τi (1 λ, r), r), r) 1 λ. Definition 1.3 ([16]). Let (X, τ 1, τ 2 ) be a fbts. For λ I X and r I 0 : (i) The r (τ i, τ )-fuzzy strongly semi-interior of λ, denoted by SSI (λ, r) is defined by SSI (λ, r) = {µ I X : µ λ, µ is r (τ i, τ ) fsso}. (ii) The r (τ i, τ )-fuzzy strongly semi-closure of λ, denoted by SSC (λ, r) is defined by SSC (λ, r) = {µ I X : µ λ, µ is r (τ i, τ ) fssc}. Theorem 1.4 ([16]). Let (X, τ 1, τ 2 ) be a fbts. For λ, µ I X and r I 0 : (i) SSC (0, r) = 0 and SSI (1, r) = 1. (ii) I τi (λ, r) SSI (λ, r) λ SSC (λ, r) C τi (λ, r). (iii) λ µ SSI (λ, r) SSI (µ, r) and SSC (λ, r) SSC (µ, r). (iv) λ is r (τ i, τ )-fsso if and only if λ = SSI (λ, r). (v) λ is r (τ i, τ )-fssc if and only if λ = SSC (λ, r). (vi) SSC (SSC (λ, r), r) = SSC (λ, r). Definition 1.4 ([8]). A mapping f : (X, τ 1, τ 2 ) (X, τ 1, τ 2 ) from a fbts (X, τ 1, τ 2 ) to another fbts (X, τ 1, τ 2 ) is said to be fuzzy pairwise continuous (fpc, for short) if and only if τ i (f 1 (µ)) τ i (µ) for each µ IY and i = 1, 2. If we put τ = τ 1 = τ 2 and τ = τ1 = τ2, then the definition of fuzzy pairwise continuous mapping reduce to the corresponding fuzzy continuous mapping due to Šostak [18].
4 460 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF Definition 1.5 ([1]). A mapping C : I X I 0 I X is called a supra fuzzy closure operator on X if for λ, µ I X and r, s I 0, it satisfies the following conditions: (C1) C(0, r) = 0. (C2) λ C(λ, r). (C3) C(λ, r) C(µ, r) C(λ µ, r). (C4) C(λ, r) C(λ, s) if r s. (C5) C(C(λ, r), r) = C(λ, r). The pair (X, C) is called a supra fuzzy closure space. 2. Some types of fuzzy closeness in fuzzy bitopological spaces Theorem 2.1. Let (X, τ 1, τ 2 ) be a fbts. Define a mapping τ s : IX I on X by: τ s (λ) = {r I 0 : SSI (λ, r) = λ}. Then τ s is a supra fuzzy topology. Proof. (S1) It is clearly since for all r I 0, SSI (0, r) = 0 and SSI (1, r) = 1. (S2) Suppose that there exists λ = k J λ k I X such that There exists r 0 I 0 such that τ s (λ) < k J τ s (λ k ). τ(λ) s < r 0 τ(λ s k ). k J This implies that for all k J, there exists r k J with SSI (λ k, r k ) = λ k such that τ(λ s k ) r k r 0. Then SSI (λ k, r 0 ) SSI (λ k, r k ) = λ k. But by Theorem 1.4(ii), we have SSI (λ k, r 0 ) λ k, thus This implies that SSI (λ, r 0 ) = SSI ( k J By using Theorem 1.4(ii), we obtain SSI (λ k, r 0 ) = λ k. λ k, r 0 ) k J λ = SSI (λ, r 0 ). That is τ s (λ) r 0. It is a contradiction. Thus SSI (λ k, r 0 ) = k J λ k = λ. τ( s λ k ) λ k for any {λ k : λ k I X }. k J k J
5 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 461 Hence, τ s is a supra fuzzy topology. The following example shows that τ s is not fuzzy topology in general. Example 2.1. Let X = {a, b}. Define λ 1, λ 2, λ 3, λ 4 I X as follows: λ 1 (a) = 0.7 λ 1 (b) = 0.1 λ 2 (a) = 0.1 λ 2 (b) = 0.7 λ 3 (a) = 0.7 λ 3 (b) = 0.5 λ 4 (a) = 0.5 λ 4 (b) = 0.7 Define the fuzzy topologies τ 1, τ 2 : I X I as follows: 1, if λ = 0, 1 0.3, if λ = λ 1, λ 2 τ 1 (λ) = τ 2 (λ) = 0.5, if λ = 0.2, , if λ = 0.1, 0.7 0, otherwise. 0, otherwise, Then for 0 < r 0.3, λ 3 and λ 4 are r (τ 1, τ 2 )-fsso sets and λ 3 λ 4 is not r (τ 1, τ 2 )-fsso set which implies that τ s 12(λ 3 ) τ s 12(λ 4 ) > τ s 12(λ 1 λ 3 ) = 0. Then τ s 12 is not fuzzy topology. Theorem 2.2. Let (X, τ 1, τ 2 ) be a fbts. For each λ I X and r I 0 we define a mapping : I X I 0 I X as follows: (λ, r) = {µ : µ λ, τ s (1 µ) r}. Then (X, ) is a supra fuzzy closure space. Proof. (C1), (C2) and (C4) follows directly from the definition of. (C3) Since λ λ µ and µ λ µ we have (λ, r) (λ µ, r) and (µ, r) (λ µ, r). Then (C5) From the definition of (λ, r) (µ, r) (λ µ, r). we obtain (1) (λ, r) ( (λ, r), r) for each λ I X, r r 0. Conversely, suppose that there exist λ I X, r I 0 and x X such that ( (λ, r), r)(x) > (λ, r)(x). By the definition of (λ, r), there exists µ I X with µ λ and such that SSI (1 µ, r) = 1 µ ( (λ, r), r)(x) > µ(x) (λ, r)(x). On the other hand, since µ λ and τ s (1 µ) r, then (λ, r) (µ, r) = µ
6 462 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF therefore It is a contradiction. Thus ( (λ, r), r) (µ, r) = µ. (2) ( (λ, r), r) (λ, r) for each λ I X, r r 0. From (1) and (2) we obtain (C5). Theorem 2.3. Let (X, τ 1, τ 2 ) be a fbts. For λ I X and r r 0 we define a mapping I τ s : I X I 0 I X as follows: Then we have I τ s (λ, r) = {µ : µ λ, τ s (µ) r}. I τ s (1 λ, r) = 1 (λ, r). Proof. For λ I X, r I 0 we have 1 (λ, r) = 1 {µ : µ λ, τ s (1 µ) r} = {1 µ : 1 µ 1 λ, τ s (1 µ) r} = I τ s (1 λ, r). Definition 2.1. Let (X, τ 1, τ 2 ) be a fbts and λ I X. Then, for r r 0, λ is called: (i) r (τ i, τ )-generalized fuzzy closed (briefly, r (τ i, τ )-gfc) set if λ µ and τ i (µ) r implies C τ (λ, r) µ. (ii) r (τ i, τ )-generalized fuzzy regular closed (briefly, r (τ i, τ )-gfrc) set if λ µ and µ is r (τ i, τ )-fro set implies C τ (λ, r) µ. (iii) r (τ i, τ )-generalized fuzzy strongly semi-closed (briefly, r (τ i, τ )- gfssc) set if λ µ and τ i (µ) r implies (λ, r) µ. (iv) r (τ i, τ )-generalized fuzzy regular strongly semi-closed (briefly, r (τ i, τ )-gfrssc) set if λ µ and µ is r (τ i, τ )-fro set implies (λ, r) µ. The set of all r (τ i, τ )-gfc, r (τ i, τ )-gfrc, r (τ i, τ )-gfssc and r (τ i, τ )- gfrssc sets of a fbts (X, τ 1, τ 2 ) will be denoted by r (τ i, τ ) GF C(X), r (τ i, τ ) GF RC(X), r (τ i, τ ) GF SSC(X) and r (τ i, τ ) GF RSSC(X) respectively. Remark 2.1. The following diagram shows the relation between the above different types of fuzzy closeness in a fbts (X, τ 1, τ 2 ). r (τ i, τ )-fssc r (τ i, τ )-gfssc r (τ i, τ )-gfc r (τ i, τ )-gfrssc r (τ i, τ )-gfrc
7 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 463 Example 2.2. Let X = {a, b, c}. We define the fuzzy topologies τ 1, τ 2 : I X I as follows: 1, if λ = 0, 1 1 τ 1 (λ) = 3, if λ = χ {a} 1 2, if λ {χ {a,b}, χ {a,c} } 0, otherwise 1 τ 2 (λ) = 3, if λ {χ {c}, χ {a,c} } 0, otherwise. For 0 < r 1 3, χ {a} is r (τ 1, τ 2 )-gfrc but not r (τ 1, τ 2 )-gfc. Example 2.3. Let X = {a, b, c, d}. We define the fuzzy topologies τ 1, τ 2 : I X I as follows: 1 τ 1 (λ) = 2, if λ {χ {d}, χ {a,d} } 0, otherwise 1, if λ = 0, 1 1 τ 2 (λ) = 2, if λ {χ {c}, χ {a,b} } 3 4, if λ {χ {c,d}, χ {a,b,c} } 0, otherwise. For 0 < r 1 2, χ {a} is r (τ 1, τ 2 )-gfrssc but not r (τ 1, τ 2 )-gfrc. Also, χ {a} is r (τ 1, τ 2 )-gfssc but not r (τ 1, τ 2 )-gfc, χ {a,c} is r (τ 2, τ 1 )-gfssc but not r (τ 2, τ 1 )-fssc and χ {c,d} is r (τ 2, τ 1 )-gfrssc but not r (τ 2, τ 1 )-gfssc. Remark 2.2. The complement of r (τ i, τ )-gfc (resp. r (τ i, τ )-gfrc, r (τ i, τ )- gfssc, r (τ i, τ )-gfrssc) set is called r (τ i, τ )-gfo (resp. r (τ i, τ )-gfro, r (τ i, τ )-gfsso, r (τ i, τ )-gfrsso) set. r (τ i, τ )-fsso r (τ i, τ )-gfsso r (τ i, τ )-gfo r (τ i, τ )-gfrsso r (τ i, τ )-gfro The set of all r (τ i, τ )-gfo, r (τ i, τ )-gfro, r (τ i, τ )-gfsso and r (τ i, τ )- gfrsso sets of a fbts (X, τ 1, τ 2 ) will be denoted by r (τ i, τ ) GF O(X), r (τ i, τ ) GF RO(X), r (τ i, τ ) GF SSO(X) and r (τ i, τ ) GF RSSO(X) respectively. Lemma 2.1. Let (X, τ 1, τ 2 ) be a fbts and λ I X. For r r 0 λ is:
8 464 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF (i) r (τ i, τ )-gfo set if µ λ and τ i (1 µ) r, then µ I τ (λ, r). (ii) r (τ i, τ )-gfro set if µ λ and µ is r (τ i, τ )-frc set, then µ I τ (λ, r). (iii) r (τ i, τ )-gfsso set if µ λ and τ i (1 µ) r, then µ I τ s (λ, r). (iv) r (τ i, τ )-gfrsso set if µ λ and µ is r (τ i, τ )-frc set, then µ I τ s (λ, r). Theorem 2.4. Let λ be r (τ i, τ )-fsso set in a fbts (X, τ 1, τ 2 ). Then C τ (λ, r) = C τ (I τi (λ, r), r) = (λ, r). Proof. First: Let λ r (τ i, τ ) F SSO(X). λ I τi (C τ (I τi (λ, r), r), r). This implies that By Theorem 1.3, we have C τ (λ, r) C τ (I τi (C τ (I τi (λ, r), r), r), r) = C τ (I τi (λ, r), r). Conversely, since I τi (λ, r) λ C τ (λ, r), then C τ (I τi (λ, r), r) C τ (λ, r). Hence, C τ (λ, r) = C τ (I τi (λ, r), r). Second: Since λ is r (τ i, τ )-fsso set, then Therefore λ I τi (C τ (I τi (λ, r), r), r) C τ (I τi (λ, r), r). (λ, r) (C τ (I τi (λ, r), r), r) = C τ (I τi (λ, r), r) = C τ (λ, r). Conversely, suppose that (λ, r) < C τ (λ, r). Then, there exist ρ r (τ, τ i ) F SSC(X) and x X such that λ ρ and (λ, r)(x) ρ(x) < C τ (λ, r)(x). Since λ ρ, then C τ (λ, r) C τ (ρ, r). Since λ r (τ, τ i ) F SSO(X), then by the first part we have, C τ (I τi (λ, r), r) = C τ (λ, r) C τ (ρ, r). Then Thus λ I τi (C τ (I τi (λ, r), r), r) I τi (C τ (ρ, r), r). C τ (λ, r) C τ (I τi (C τ (ρ, r), r), r) ρ. It is a contradiction. Then C τ (λ, r) (λ, r). Thus C τ (λ, r) = (λ, r). From the first and second parts we have, C τ (λ, r)=c τ (I τi (λ, r), r)= (λ, r). 3. Some types of fuzzy closed mappings in fuzzy bitopological spaces Definition 3.1. Let f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) be a mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ 1, τ 2 ). Then f is called: (i) -fuzzy almost strongly semi-closed (briefly, -fass closed) mapping if f(λ) r (τ i, τ ) F SSC(Y ) for each λ r (τ i, τ ) F RC(X). (ii) -fuzzy almost generalized strongly semi-closed (briefly, -fagss closed) mapping if f(λ) r (τ i, τ ) GF SSC(Y ) for each λ r (τ, τ i ) F RC(X).
9 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 465 (iii) -fuzzy almost generalized regular strongly semi-closed (briefly, fagrss closed) mapping if f(λ) r (τi, τ ) GF RSSC(Y ) for each λ r (τ, τ i ) F RC(X). (iv) -fuzzy closed if and only if τ (1 f(λ)) τ (1 λ) for each λ I X. Remark 3.1. From the above definition the implications contained in the following diagram are true τ -fuzzy closed -fass closed -fagss closed -fagrss closed. The following examples, show that the reverse may not be true in general. Example 3.1. Let X = {a, b, c}. Define the fuzzy topologies τ 1, τ 2, τ1, τ2 : I X I as follows: 1, if λ = 0, 1 0.3, if λ {χ {a}, χ {b} } τ 1 (λ) = 0.5, if λ = χ {a,b} 0, otherwise τ 2 (λ) = 0.5, if λ {χ {c}, χ {b,c} } 0, otherwise τ1 (λ) = 0.4, if λ {χ {b}, χ {a,c} } 0, otherwise 1, if λ = 0, 1 τ2 0.4, if λ {χ {a}, χ {c} } (λ) = 0.5, if λ = χ {a,c} 0, otherwise. Then for 0 < r 0.3 the identity mapping f : (X, τ 1, τ 2 ) (X, τ 1, τ 2 ) is 21-fagrss closed but not 21-fagss closed, since χ {c} r (τ 1, τ 2 ) F RC(X) but f(χ {c} ) r (τ 2, τ 1 ) GF SSC(X). Example 3.2. Let X = {a, b, c}. Define the fuzzy topologies τ 1, τ 2, τ1,τ2 : I X I as follows: τ 1 (λ) = 0.7, if λ {χ {a}, χ {a,b} } 0, otherwise τ 2 (λ) = 0.5, if λ {χ {b}, χ {b,c} } 0, otherwise
10 466 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF τ1 (λ) = 0.4, if λ = χ {c} 0, otherwise τ2 (λ) = 0.6, if λ = χ {a,c} 0, otherwise. Then for 0 < r 0.4 the identity mapping f : (X, τ 1, τ 2 ) (X, τ 1, τ 2 ) is 21-fagss closed but not 12-fass closed, since χ {b,c} r (τ 1, τ 2 ) F RC(X) but f(χ {b,c} ) r (τ 1, τ 2 ) F SSC(X). Example 3.3. Let X = {a, b, c}. Define λ 1, λ 2, λ 3, λ 4 I X as follows: λ 1 (a) = 0.8 λ 1 (b) = 0.7 λ 1 (c) = 0.6 λ 2 (a) = 1.0 λ 2 (b) = 0.8 λ 2 (c) = 0.7 λ 3 (a) = 0.3 λ 3 (b) = 0.4 λ 3 (c) = 0.5 λ 4 (a) = 0.3 λ 4 (b) = 0.5 λ 4 (c) = 0.6 Define the fuzzy topologies τ 1, τ 2, τ1, τ2 : I X I as follows: τ 1 (λ) = 0.5, if λ = λ 1 τ 2 (λ) = 0.4, if λ = λ 2 0, otherwise, 0, otherwise, τ1 (λ) = 0.7, if λ = λ 3 τ2 (λ) = 0.6, if λ = λ 4 0, otherwise, 0, otherwise. Then for 0 < r 0.4 the identity mapping f : (X, τ 1, τ 2 ) (X, τ 1, τ 2 ) is 21- fass closed but not 2-fuzzy closed, since if ν = 1 λ 2 we find that τ 2 (1 ν) = 0.4 τ 2 (1 f(ν)) = 0.0. Theorem 3.1. The surective mapping f : (X, τ 1, τ 2 ) (Y, τ1, τ2 ) from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ1, τ2 ) is -fagss closed if and only if for each µ I Y and λ r (τ, τ i ) F RO(X) such that f 1 (µ) λ, there exists ν r (τi, τ ) GF SSO(Y ) such that µ ν and f 1 (ν) λ. Proof. Necessity: Suppose that f is -fagss closed. Let µ I Y and λ r (τ, τ i ) F RO(X) such that f 1 (µ) λ. Since λ r (τ, τ i ) F RO(X) then 1 λ r (τ, τ i ) F RC(X) and since f is -fagss closed then f(1 λ) r (τi, τ ) GF SSC(Y ). Let ν = 1 f(1 λ). Then ν r (τ i, τ ) GF SSO(Y ). Since f 1 (µ) λ, 1 λ 1 f 1 (µ) = f 1 (1 µ). This implies that So, Also, we have f(1 λ) f(f 1 (1 µ)) 1 µ. µ 1 f(1 λ) = ν. f 1 (ν) = f 1 (1 f(1 λ)) = 1 f 1 (f(1 λ)) 1 (1 λ) = λ.
11 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 467 Sufficiency: Let η r (τ, τ i ) F RC(X) and µ = 1 f(η) I Y. Then f 1 (µ) = f 1 (1 f(η)) = 1 f 1 (f(η)) 1 η and since 1 η r (τ, τ i ) F RO(X), there exists ν r (τi, τ ) GF SSO(Y ) such that µ ν and f 1 (ν) 1 η. Since f is surective we have ν = f(f 1 (ν)) f(1 η) = 1 f(η). This implies that f(η) 1 ν. On the other hand since 1 f(η) = µ ν, then f(η) 1 ν. Thus f(η) = 1 ν r (τi, τ ) GF SSC(Y ). Hence f is -fagss closed mapping. Definition 3.2. Let f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) be a mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ 1, τ 2 ). Then f is called: (i) -fuzzy strongly semi open (briefly, -fss open) mapping if f(λ) r (τi, τ ) F SSO(Y ) for each λ IX with τ i (λ) r. (ii) -fuzzy almost open (briefly, -fa open) mapping if τi (f(λ)) r for each λ r (τ i, τ ) F RO(X). (iii) -fuzzy almost strongly semi-open (briefly, -fass open) mapping if f(λ) r (τi, τ ) F SSO(Y ) for each λ r (τ i, τ ) F RO(X). Remark 3.2. Both -fa openness and -fss openness imply -fass openness but the converse is not true in general as the following example shows: Example 3.4. Let X = {a, b, c, d} and Y = {x, y, z}. Define the fuzzy topologies τ 1, τ 2 : I X I and τ1, τ2 : I Y I as follows: 1, if λ = 0, 1 0.5, if λ {χ {c}, χ {d}, χ {c,d} } τ 1 (λ) = 0.7, if λ {χ {a,c}, χ {a,c,d} } 0, otherwise τ 2 (λ) = 0.5, if λ {χ {a}, χ {b}, χ {a,b} } 0, otherwise. 1, if µ = 0, 1 τ1 (µ) = 0.6, if µ = χ {z} τ2 (µ) = 0.4, if µ = χ {x,z} 0, otherwise, 0, otherwise. Then, for 0 < r 0.4 the mapping f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) which defined by f(a) = x, f(b) = f(d) = z, f(c) = y is 12-fass open but neither 12-fss open nor 12-fa open. Since, τ 1 (χ {c} ) = 0.5 > r, f(χ {c} ) = χ {y} r (τ 1, τ 2 ) F SSO(X) and χ {c,d} r (τ 1, τ 2 ) F RO(X), τ 1 (f(χ {c,d} )) = τ 1 (χ {y,z} ) = 0.0 r.
12 468 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF Definition 3.3. A mapping f : (X, τ 1, τ 2 ) (Y, τ1, τ2 ) from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ1, τ2 ) is said to be -fuzzy R-map if f 1 (µ) r (τ i, τ ) F RO(X) for every µ r (τi, τ ) F RO(Y ). Example 3.5. Let X = {a, b, c}. Define λ 1, λ 2, λ 3, λ 4 I X as follows: λ 1 (a) = 0.4 λ 1 (b) = 0.4 λ 1 (c) = 0.2 λ 2 (a) = 0.5 λ 2 (b) = 0.2 λ 2 (c) = 0.5 λ 3 (a) = 0.4 λ 3 (b) = 0.4 λ 3 (c) = 0.3 λ 4 (a) = 0.5 λ 4 (b) = 0.3 λ 4 (c) = 0.5 Define the fuzzy topologies τ 1, τ 2, τ1, τ2 : I X I as follows: τ 1 (λ) = 0.3, if λ = λ 1, λ 3 τ 2 (λ) = 0.3, if λ = λ 2 0, otherwise, 0, otherwise, τ1 (λ) = 0.4, if λ = λ 3 τ2 (λ) = 0.2, if λ = λ 4 0, otherwise, 0, otherwise. Then for 0 < r 0.3 the identity mapping f : (X, τ 1, τ 2 ) (X, τ 1, τ 2 ) is 12-fuzzy R-map. Theorem 3.2. Let f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) be a mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ 1, τ 2 ). Then f is -fuzzy R-map if it is fpc and -fass open. Proof. Let µ r (τi, τ ) F RO(Y ). Then τ i (µ) r. Since f is fpc, then τ i (f 1 (µ)) τi (µ) r and since f 1 (µ) C τ (f 1 (µ), r) then (1) f 1 (µ) = I τi (f 1 (µ), r) I τi (C τ (f 1 (µ), r), r). Since µ C τ (µ, r), we have f 1 (µ) f 1 (C τ (µ, r)). Since τ (1 f 1 (C τ (µ, r))) r, we have So, f 1 (µ) C τ (f 1 (µ), r) f 1 (C τ (µ, r)). f(i τi (C τ (f 1 (µ), r))) f(c τ (f 1 (µ), r)) f(f 1 (C τ (µ, r))) C τ (µ, r). Since f is -fass open and I τi (C τ (f 1 (µ), r), r) r (τ i, τ ) F RO(X), then f(i τi (C τ (f 1 (µ), r), r)) r (τi, τ ) F SSO(Y ). Thus f(i τi (C τ (f 1 (µ), r), r)) I τ s (C τ s (µ, r), r).
13 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 469 Since I τ s (C τ (µ, r), r) r (τ i, τ ) F SSO(Y ), then Then f(i τi (C τ (f 1 (µ), r), r)) I τ i (C τ (I τ i (C τ (µ, r), r), r), r) = I τ i (C τ (µ, r), r) = µ. (2) f 1 (µ) f 1 (f(i τi (C τ (f 1 (µ), r), r))) I τi (C τ (f 1 (µ), r), r). From (1) and (2) we have f 1 (µ) = I τi (C τ (f 1 (µ), r), r) this implies that f 1 (µ) r (τ i, τ ) F RO(X). Hence f is -fuzzy R-map. 4. Fuzzy binormal space In this section we introduce three concepts of fuzzy normality in fuzzy bitopological spaces namely, fuzzy binormality, fuzzy mildly binormality and fuzzy almost pairwise normality. Definition 4.1. A fbts (X, τ 1, τ 2 ) is said to be fuzzy binormal if η =C τi (η, r) qρ = C τ (ρ, r) implies there exist λ, µ I X with τ (λ) r, τ i (µ) r such that η λ, ρ µ and λ qµ. Theorem 4.1. Let (X, τ 1, τ 2 ) be a fbts. equivalent: Then the following statements are (i) (X, τ 1, τ 2 ) is fuzzy binormal. (ii) If η = C τi (η, r) qρ = C τ (ρ, r), then there exist λ r (τ i, τ ) GF SSO(X), µ r (τ, τ i ) GF SSO(X) such that η λ, ρ µ and λ qµ. (iii) For any η, µ I X with τ i (1 η) r, τ (µ) r and η µ there exist λ r (τ i, τ ) GF SSO(X) such that η λ (λ, r) µ. Proof. (i) (ii) It is easy. (ii) (iii) Let η, µ I X with τ i (1 η) r, τ (µ) r and η µ. Then τ i (1 η) r, τ (1 (1 µ)) r and η q(1 µ). By (ii) there exist λ r (τ i, τ ) GF SSO(X), ρ r (τ, τ i ) GF SSO(X) such that η λ, 1 µ ρ and λ qρ. Since ρ r (τ, τ i ) GF SSO(X), τ (µ) r and 1 µ ρ, then by Lemma 2.1, we have 1 µ I τ s (ρ, r). Since λ qρ, then λ 1 ρ 1 I τ s (ρ, r). So, Since λ 1 ρ, then So, η λ 1 ρ 1 I τ s (ρ, r). λ (λ, r) (1 ρ, r) = 1 I τ s (ρ, r). (from Theorem 2.3) η λ (λ, r) 1 I τ s (ρ, r) µ.
14 470 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF Thus η λ (λ, r) µ. (iii) (i) Let η = C τi (η, r) qρ = C τ (ρ, r). Then τ i (1 η) r, τ (1 ρ) r and η 1 ρ. By (iii) there exists λ r (τ i, τ ) GF SSO(X) such that This implies that η λ (λ, r) 1 ρ. ρ 1 (λ, r) = I τ s (1 λ, r). Since η λ, τ i (1 η) r and λ r (τ i, τ ) GF SSO(X), then by using Lemma 2.1, we have η I τ s (λ, r). Since I τ s (λ, r) r (τ, τ i ) F SSO(X) and I τ s (1 λ, r) r (τ i, τ ) F SSO(X), then and I τ s (λ, r) I τ (C τi (I τ (I τ s (λ, r), r), r), r) I τ s (1 λ, r) I τi (C τ (I τi (I τ s (1 λ, r), r), r), r). Put µ = I τ (C τi (I τ (I τ s (λ, r), r), r), r) and ν = I τi (C τ (I τi (I τ s (1 λ, r), r), r), r). Then τ (µ) r, τ i (ν) r, η µ, ρ ν and µ qν. Then (X, τ 1, τ 2 ) is fuzzy binormal. Theorem 4.2. Let f : (X, τ 1, τ 2 ) (Y, τ1, τ2 ) be fpc, fuzzy -fagss-closed and surection mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ1, τ2 ). If (X, τ 1, τ 2 ) is a fuzzy binormal space, then (Y, τ1, τ2 ) is also fuzzy binormal. Proof. Let η = C τ i (η, r) qρ = ρ τ (ρ, r), r I 0. Then τi (1 η) r, τ (1 ρ) r and η 1 ρ. Since f is fpc then, τ i (1 f 1 (η)) τi (1 η) r and τ (1 f 1 (ρ)) τ (1 ρ) r. Thus, f 1 (η) = C τi (f 1 (η), r) qf 1 (ρ) = C τ (f 1 (ρ), r). Since (X, τ 1, τ 2 ) is fuzzy binormal, there exist λ, µ I X with τ (λ) r, τ i (µ) r such that f 1 (η) λ, f 1 (ρ) µ and λ qµ. Let θ = I τ (C τi (λ, r), r) and δ = I τi (C τ (µ, r), r). Then θ r (τ, τ i ) F RO(X) and δ r (τ i, τ ) F RO(X). Also, f 1 (η) θ, f 1 (ρ) δ and θ qδ. By Theorem 3.1, there exist γ r (τi, τ ) GF SSO(Y ) and ν r (τ, τ i ) GF SSO(Y ) such that η γ, ρ ν, f 1 (γ) θ and f 1 (ν) δ. Since θ qδ, then γ qν and by Theorem 4.1, (Y, τ1, τ2 ) is fuzzy binormal. Definition 4.2. A fbts (X, τ 1, τ 2 ) is said to be fuzzy mildly binormal if for all η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) such that η qρ there exist λ, µ I X with τ (λ) r, τ i (µ) r such that η λ, ρ µ and λ qµ. Theorem 4.3. Let (X, τ 1, τ 2 ) be a fbts. equivalent: (i) (X, τ 1, τ 2 ) is fuzzy mildly binormal. Then the following statements are
15 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 471 (ii) For any η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) and η qρ, there exist λ r (τ i, τ ) GF SSO(X) and µ r (τ, τ i ) GF SSO(X) such that η λ, ρ µ and λ qµ. (iii) For any η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) and η qρ, there exist λ r (τ i, τ ) GF RSSO(X) and µ r (τ, τ i ) GF RSSO(X) such that η λ, ρ µ and λ qµ. (iv) For any η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RO(X) and η ρ, there exists λ r (τ i, τ ) GF RSSO(X) such that η λ (λ, r) ρ. (v) For any η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RO(X) and η ρ, there exists λ r (τ, τ i ) F SSO(X) such that η λ (λ, r) ρ. (vi) For any η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) and η qρ, there exist λ r (τ, τ i ) F SSO(X) and µ r (τ i, τ ) F SSO(X) such that η λ, ρ µ and λ qµ. Proof. (i) (ii) and (ii) (iii) are straightforward. (iii) (iv) Let η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RO(X) and η ρ. Consequently, η r (τ i, τ ) F RC(X), 1 ρ r (τ, τ i ) F RC(X) and η q(1 ρ). Then there exist λ r (τ i, τ ) GF RSSO(X) and µ r (τ, τ i ) GF RSSO(X) such that η λ, 1 ρ µ and λ qµ. By Lemma 2.1, we have 1 ρ I τ s (µ, r). Therefore we have η λ (λ, r) 1 I τ s (µ, r) ρ. Hence, η λ (λ, r) ρ. (iv) (v) Let η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RO(X) and η ρ. Then there exists µ r (τ i, τ ) GF RSSO(X) such that η µ (µ, r) ρ. Since η r (τ i, τ ) F RC(X) and η µ, then by using Lemma 2.1, we have η I τ s (µ, r). Put λ = I τ s (µ, r). Then λ r (τ, τ i ) F SSO(X) and η λ (λ, r) (µ, r) ρ. Hence, η λ (λ, r) ρ. (v) (vi) Let η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) and η qρ. Consequently, η r (τ i, τ ) F RC(X), 1 ρ r (τ, τ i ) F RO(X) and η 1 ρ. Then there exists λ r (τ, τ i ) F SSO(X) such that η λ (λ, r) 1 ρ. Then ρ 1 (λ, r). Put µ = 1 (λ, r). Then µ r (τ i, τ ) F SSO(X). Hence, η λ, ρ µ and λ qµ. (vi) (i) Let η r (τ i, τ ) F RC(X), ρ r (τ, τ i ) F RC(X) and η qρ. Then there exist λ r (τ, τ i ) F SSO(X) and µ r (τ i, τ ) F SSO(X) such that η λ, ρ µ and λ qµ. Put θ = I τ (C τi (I τ (λ, r), r), r) and δ = I τi (C τ (I τi (µ, r), r), r). Then we have, η θ, ρ δ and θ qδ. Hence, (X, τ 1, τ 2 ) is fuzzy mildly binormal.
16 472 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF Theorem 4.4. Let f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) be -fagss closed, -fuzzy R- map and surection mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ 1, τ 2 ). If (X, τ 1, τ 2 ) is a fuzzy mildly binormal space, then (Y, τ 1, τ 2 ) is also fuzzy mildly binormal. Proof. Let η r (τi, τ ) F RC(Y ), ρ r (τ i, τ ) F RC(Y ) and η qρ. Since f is -fuzzy R map then, f 1 (η) r (τ i, τ ) F RC(X), f 1 (ρ) r (τ i, τ ) F RC(X) furthermore, f 1 (η) qf 1 (ρ). Since (X, τ i, τ ) is fuzzy mildly binormal, there exist θ, δ I X with τ (θ) r, τ i (δ) r such that f 1 (η) θ,f 1 (ρ) δ and θ qδ. Put λ = I τ (C τi (θ, r)) and µ = I τi (C τ (δ, r)). Then λ r (τ, τ i ) F RO(X), µ r (τ i, τ ) F RO(X), f 1 (η) λ, f 1 (ρ) µ and λ qµ. By Theorem 3.1, there exist ξ r (τi, τ ) GF SSO(Y ), γ r (τ, τ i ) GF SSO(Y ) such that η ξ, f 1 (ξ) λ, ρ γ, f 1 (γ) µ. Also, we can find ξ qγ. Then, from Theorem 4.3, we have (Y, τ1, τ2 ) is also fuzzy mildly binormal. Definition 4.3. A fbts (X, τ 1, τ 2 ) is said to be fuzzy almost pairwise normal if for any η, ρ I X such that η r (τ i, τ ) F RC(X), τ (1 ρ) r and η qρ there exist λ, µ I X with τ (λ) r, τ i (µ) r such that η λ, ρ µ and λ qµ. Theorem 4.5. Let (X, τ 1, τ 2 ) be a fbts. Then the following statements are equivalent: (i) (X, τ 1, τ 2 ) is fuzzy almost pairwise normal. (ii) For any η r (τ i, τ ) F RC(X), ρ I X with τ (1 ρ) r and η qρ, there exist λ r (τ i, τ ) GF SSO(X) and µ r (τ, τ i ) GF SSO(X) such that η λ, ρ µ and λ qµ. (iii) For any η r (τ i, τ ) F RC(X), ρ I X with τ (1 ρ) r and η qρ, there exist λ r (τ i, τ ) GF RSSO(X) and µ r (τ, τ i ) GF RSSO(X) such that η λ, ρ µ and λ qµ. (iv) For any η r (τ i, τ ) F RC(X), ρ I X with τ (ρ) r and η ρ, there exists λ r (τ i, τ ) GF RSSO(X) such that η λ (λ, r) ρ. (v) For any η r (τ i, τ ) F RC(X), ρ I X with τ (ρ) r and η ρ, there exists λ r (τ, τ i ) F SSO(X) such that η λ (λ, r) ρ. (vi) For any η r (τ i, τ ) F RC(X), ρ I X with τ (1 ρ) r and η qρ, there exist λ r (τ, τ i ) F SSO(X) and µ r (τ i, τ ) F SSO(X) such that η λ, ρ µ and λ qµ. Proof. It is similar to the proof of Theorem 4.3. Theorem 4.6. Let f : (X, τ 1, τ 2 ) (Y, τ 1, τ 2 ) be -fass-open, -fass-closed, fpc and surection mapping from a fbts (X, τ 1, τ 2 ) to another fbts (Y, τ 1, τ 2 ). If (X, τ 1, τ 2 ) is a fuzzy almost pairwise normal, then (Y, τ 1, τ 2 ) is also fuzzy almost pairwise normal.
17 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 473 Proof. Let η r (τi, τ ) F RC(Y ), ρ IY with τ (ρ) r and η ρ. Since f is fpc and -fass open then, by Theorem 3.2, f 1 (η) r (τ i, τ ) F RC(X). Since f is fpc, then τ (f 1 (ρ)) τ (ρ) r. Furthermore, f 1 (η) f 1 (ρ). Since (X, τ 1, τ 2 ) is fuzzy almost pairwise normal and by Theorem 4.5(v), there exists λ r (τ, τ i ) F SSO(X) such that f 1 (η) λ (λ, r) f 1 (ρ). Since λ r (τ, τ i ) F SSO(X), then λ I τ (C τi (I τ (λ, r))) = µ (say). By using Theorem 2.4, we have Thus This implies that f 1 (η) λ µ C τi (µ, r) = C τi (I τ (λ, r), r)) = (λ, r) (f 1 (ρ), r) = f 1 (ρ). f 1 (η) µ C τi (µ, r) f 1 (ρ). f 1 (η) µ I τ (C τi (µ, r), r) C τi (µ, r) f 1 (ρ). Since f is surective we have η f(µ) f(i τ (C τi (µ, r), r)) f(c τi (µ, r)) f(f 1 (ρ)) = ρ. Since I τ (C τi (µ, r), r) r (τ, τ i ) F RO(X) and f is -fass-open, we have f(i τ (C τi (µ, r), r)) r (τ, τ i ) F SSO(Y ). Since C τ i (µ, r) = C τi (I τ (µ, r), r) r (τ i, τ ) F RC(X) and f is -fass-closed then, f(c τi (µ, r)) r (τ i, τ ) F SSC(Y ). Consequently Thus C τ s (f(c τ i (λ, r)), r) C τ s (f(c τ i (µ, r)), r) = f(c τi (µ, r)) ρ. η f(i τ (C τi (µ, r), r)) C τ s (f(i τ (C τi (µ, r), r), r) C τ s (f(c τ i (µ, r)), r) ρ. Then there exists f(i τ (C τi (µ, r), r)) r (τ, τ i ) F SSO(Y ) such that η f(i τ (C τi (µ, r), r)) C τ s (f(i τ (C τi (µ, r), r), r) ρ. Hence from Theorem 4.5(V), we have (Y, τ1, τ2 ) is fuzzy almost pairwise normal. Remark 4.1. From Definition 4.1, Definition 4.2 and Definition 4.3, we have the following implications: fuzzy mildly binormality fuzzy almost pairwise normality fuzzy binormality
18 474 A. A. RAMADAN, S. E. ABBAS, AND A. A. ABD EL-LATIF References [1] S. E. Abbas, A study of smooth topological spaces, Ph. D. Thesis, South Valley University, [2] C. L. Chang, Fuzzy topological spaces, J. Math. Anal. Appl. 24 (1968), [3] K. C. Chattopadhyay, R. N. Hazra, and S. K. Samanta, Gradation of openness: fuzzy topology, Fuzzy Sets and Systems 49 (1992), no. 2, [4] K. C. Chattopadhyay and S. K. Samanta, Fuzzy topology: fuzzy closure operator, fuzzy compactness and fuzzy connectedness, Fuzzy Sets and Systems 54 (1993), no. 2, [5] M. K. El Gayyar, E. E. Kerre, and A. A. Ramadan, Almost compactness and near compactness in smooth topological spaces, Fuzzy Sets and Systems 62 (1994), no. 2, [6] M. H. Ghanim, O. A. Tantawy, and F. M. Selim, Gradation of supra-openness, Fuzzy Sets and Systems 109 (2000), no. 2, [7] U. Höhle and A. P. Šostak, A general theory of fuzzy topological spaces, Fuzzy topology. Fuzzy Sets and Systems 73 (1995), no. 1, [8] Y. C. Kim, r-fuzzy semi-open sets in fuzzy bitopological spaces, Far East J. Math. Sci. (FJMS) Special Volume (2000), Part II, [9], δ-closure operators in fuzzy bitopological spaces, Far East J. Math. Sci. (FJMS) 2 (2000), no. 5, [10] Y. C. Kim, A. A. Ramadan, and S. E. Abbas, Some weakly forms of fuzzy continuous mappings in L-fuzzy bitopological spaces, J. Fuzzy Math. 9 (2001), no. 2, [11], Separation axioms in terms of θ-closure and δ-closure operators, Indian J. Pure Appl. Math. 34 (2003), no. 7, [12] T. Kubiak and A. P. Šostak, Lower set-valued fuzzy topologies, Quaestiones Math. 20 (1997), no. 3, [13] E. P. Lee, Preopen sets in smooth bitopological spaces, Commun. Korean Math. Soc. 18 (2003), no. 3, [14] P. M. Pu and Y. M. Liu, Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence, J. Math. Anal. Appl. 76 (1980), no. 2, [15] A. A. Ramadan, Smooth topological spaces, Fuzzy Sets and Systems 48 (1992), no. 3, [16] A. A. Ramadan and S. E. Abbas, On several types of continuity in fuzzy bitopological spaces, J. Fuzzy Math. 9 (2001), no. 2, [17] A. A. Ramadan, S. E. Abbas, and A. A. Abd El-latif, On fuzzy bitopological spaces in Šostak s sense, Commun. Korean Math. Soc. 21 (2006), no. 3, [18] A. P. Šostak, On a fuzzy topological structure, Rend. Circ. Mat. Palermo (2) Suppl. No. 11 (1985), [19], On the neighborhood structure of fuzzy topological spaces, Zb. Rad. No. 4 (1990), [20], Basic structures of fuzzy topology, J. Math. Sci. 78 (1996), no. 6, Ahmed Abd El-Kader Ramadan Department of Mathematics Faculty of Science Beni-Suef University Beni-Suef 62511, Egypt address: aramadan58@yahoo.com
19 ON FUZZY BITOPOLOGICAL SPACES IN ŠOSTAK S SENSE (II) 475 Salah El-Deen Abbas Mathematical Department Faculty of Science Sohag University Sohag 82524, Egypt address: sabbas73@yahoo.com Ahmed Aref Abd El-latif Department of Mathematics Faculty of Science Beni-Suef University Beni-Suef 62511, Egypt address: ahmeda73@yahoo.com
Intuitionistic Supra Gradation of Openness
Applied Mathematics & Information Sciences 2(3) (2008), 291-307 An International Journal c 2008 Dixie W Publishing Corporation, U. S. A. Intuitionistic Supra Gradation of Openness A. M. Zahran 1, S. E.
Διαβάστε περισσότεραON INTUITIONISTIC FUZZY SUBSPACES
Commun. Korean Math. Soc. 24 (2009), No. 3, pp. 433 450 DOI 10.4134/CKMS.2009.24.3.433 ON INTUITIONISTIC FUZZY SUBSPACES Ahmed Abd El-Kader Ramadan and Ahmed Aref Abd El-Latif Abstract. We introduce a
Διαβάστε περισσότεραSome new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.
Bol. Soc. Paran. Mat. (3s.) v. 30 2 (2012): 71 77. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v30i2.13793 Some new generalized topologies via hereditary
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραOperation Approaches on α-γ-open Sets in Topological Spaces
Int. Journal of Math. Analysis, Vol. 7, 2013, no. 10, 491-498 Operation Approaches on α-γ-open Sets in Topological Spaces N. Kalaivani Department of Mathematics VelTech HighTec Dr.Rangarajan Dr.Sakunthala
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραFuzzifying Tritopological Spaces
International Mathematical Forum, Vol., 08, no. 9, 7-6 HIKARI Ltd, www.m-hikari.com https://doi.org/0.988/imf.08.88 On α-continuity and α-openness in Fuzzifying Tritopological Spaces Barah M. Sulaiman
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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:
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραA Note on Characterization of Intuitionistic Fuzzy Ideals in Γ- Near-Rings
International Journal of Computational Science and Mathematics. ISSN 0974-3189 Volume 3, Number 1 (2011), pp. 61-71 International Research Publication House http://www.irphouse.com A Note on Characterization
Διαβάστε περισσότεραSCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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 :
Διαβάστε περισσότεραHomomorphism and Cartesian Product on Fuzzy Translation and Fuzzy Multiplication of PS-algebras
Annals of Pure and Applied athematics Vol. 8, No. 1, 2014, 93-104 ISSN: 2279-087X (P), 2279-0888(online) Published on 11 November 2014 www.researchmathsci.org Annals of Homomorphism and Cartesian Product
Διαβάστε περισσότερα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
Διαβάστε περισσότεραTHE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano
235 Kragujevac J. Math. 30 (2007) 235 242. THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS Daniel A. Romano Department of Mathematics and Informatics, Banja Luka University, Mladena Stojanovića
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραGÖKHAN ÇUVALCIOĞLU, KRASSIMIR T. ATANASSOV, AND SINEM TARSUSLU(YILMAZ)
IFSCOM016 1 Proceeding Book No. 1 pp. 155-161 (016) ISBN: 978-975-6900-54-3 SOME RESULTS ON S α,β AND T α,β INTUITIONISTIC FUZZY MODAL OPERATORS GÖKHAN ÇUVALCIOĞLU, KRASSIMIR T. ATANASSOV, AND SINEM TARSUSLU(YILMAZ)
Διαβάστε περισσότερα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)
Διαβάστε περισσότεραA General Note on δ-quasi Monotone and Increasing Sequence
International Mathematical Forum, 4, 2009, no. 3, 143-149 A General Note on δ-quasi Monotone and Increasing Sequence Santosh Kr. Saxena H. N. 419, Jawaharpuri, Badaun, U.P., India Presently working in
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότεραKnaster-Reichbach Theorem for 2 κ
Knaster-Reichbach Theorem for 2 κ Micha l Korch February 9, 2018 In the recent years the theory of the generalized Cantor and Baire spaces was extensively developed (see, e.g. [1], [2], [6], [4] and many
Διαβάστε περισσότερα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
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότερα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
Διαβάστε περισσότεραOn Pseudo δ-open Fuzzy Sets and Pseudo Fuzzy δ-continuous Functions
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 29, 1403-1411 On Pseudo δ-open Fuzzy Sets and Pseudo Fuzzy δ-continuous Functions A. Deb Ray Department of Mathematics West Bengal State University Berunanpukuria,
Διαβάστε περισσότερα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 Properties of Fuzzy Relations
International Mathematical Forum, 5, 2010, no. 8, 373-381 The Properties of Fuzzy Relations Yong Chan Kim Department of Mathematics, Gangneung-Wonju National University Gangneung, Gangwondo 210-702, Korea
Διαβάστε περισσότερα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
Διαβάστε περισσότεραPROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)
GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 5, 995, 535-545 PROPERTIES OF CERTAIN INTEGRAL OPERATORS SHIGEYOSHI OWA Abstract. Two integral operators P α and Q α for analytic functions in the open unit disk
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραCoefficient Inequalities for a New Subclass of K-uniformly Convex Functions
International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραBase and subbase in intuitionistic I-fuzzy topological spaces
Hacettepe Journal of Mathematics and Statistics Volume 43 (2) (204), 23 247 Base and subbase in intuitionistic I-fuzzy topological spaces Chengyu Liang and Conghua Yan Abstract In this paper, the concepts
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραA Conception of Inductive Logic: Example
A Conception of Inductive Logic: Example Patrick Maher Department of Philosophy, University of Illinois at Urbana-Champaign This paper presents a simple example of inductive logic done according to the
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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) =
Διαβάστε περισσότεραYoung Bae Jun Madad Khan Florentin Smarandache Saima Anis. Fuzzy and Neutrosophic Sets in Semigroups
Young Bae Jun Madad Khan Florentin Smarandache Saima Anis Fuzzy and Neutrosophic Sets in Semigroups Young Bae Jun, Madad Khan, Florentin Smarandache, Saima Anis Fuzzy and Neutrosophic Sets in Semigroups
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο
Διαβάστε περισσότεραOn Annihilator of Fuzzy Subsets of Modules
International Journal of Algebra, Vol. 3, 2009, no. 10, 483-488 On Annihilator of Fuzzy Subsets of Modules Helen K. Saikia 1 and Mrinal C. Kalita 2 1 Department of Mathematics, Gauhati university, Guwahati-781014,
Διαβάστε περισσότεραOn a four-dimensional hyperbolic manifold with finite volume
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραStrain gauge and rosettes
Strain gauge and rosettes Introduction A strain gauge is a device which is used to measure strain (deformation) on an object subjected to forces. Strain can be measured using various types of devices classified
Διαβάστε περισσότερα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
Διαβάστε περισσότεραSequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008
Sequent Calculi for the Modal µ-calculus over S5 Luca Alberucci, University of Berne Logic Colloquium Berne, July 4th 2008 Introduction Koz: Axiomatisation for the modal µ-calculus over K Axioms: All classical
Διαβάστε περισσότεραSOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr T t N n) Pr max X 1,..., X N ) t N n) Pr max
Διαβάστε περισσότερα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
Διαβάστε περισσότεραCHARACTERIZATION OF BIPOLAR FUZZY IDEALS IN ORDERED GAMMA SEMIGROUPS
JOURNAL OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4866, ISSN (o) 2303-4947 www.imvibl.org /JOURNALS / JOURNAL Vol. 8(2018), 141-156 DOI: 10.7251/JIMVI1801141C Former BULLETIN OF
Διαβάστε περισσότεραSOME INTUITIONISTIC FUZZY MODAL OPERATORS OVER INTUITIONISTIC FUZZY IDEALS AND GROUPS
IFSCOM016 1 Proceeding Book No. 1 pp. 84-90 (016) ISBN: 978-975-6900-54-3 SOME INTUITIONISTIC FUZZY MODAL OPERATORS OVER INTUITIONISTIC FUZZY IDEALS AND GROUPS SINEM TARSUSLU(YILMAZ), GÖKHAN ÇUVALCIOĞLU,
Διαβάστε περισσότερα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).
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραCovariance and Pseudo-Covariance of Complex Uncertain Variables
Covariance and Pseudo-Covariance of Complex Uncertain Variables Rong Gao 1, Hamed Ahmadzade 2, Mojtaba Esfahani 3 1. School of Economics and Management, Hebei University of Technology, Tianjin 341, China
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραOn density of old sets in Prikry type extensions.
On density of old sets in Prikry type extensions. Moti Gitik December 31, 2015 Abstract Every set of ordinals of cardinality κ in a Prikry extension with a measure over κ contains an old set of arbitrary
Διαβάστε περισσότερα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
Διαβάστε περισσότεραMINIMAL INTUITIONISTIC GENERAL L-FUZZY AUTOMATA
italian journal of pure applied mathematics n. 35 2015 (155 186) 155 MINIMAL INTUITIONISTIC GENERAL L-UZZY AUTOMATA M. Shamsizadeh M.M. Zahedi Department of Mathematics Kerman Graduate University of Advanced
Διαβάστε περισσότεραTakeaki Yamazaki (Toyo Univ.) 山崎丈明 ( 東洋大学 ) Oct. 24, RIMS
Takeaki Yamazaki (Toyo Univ.) 山崎丈明 ( 東洋大学 ) Oct. 24, 2017 @ RIMS Contents Introduction Generalized Karcher equation Ando-Hiai inequalities Problem Introduction PP: The set of all positive definite operators
Διαβάστε περισσότεραMean-Variance Analysis
Mean-Variance Analysis Jan Schneider McCombs School of Business University of Texas at Austin Jan Schneider Mean-Variance Analysis Beta Representation of the Risk Premium risk premium E t [Rt t+τ ] R1
Διαβάστε περισσότεραLecture 21: Properties and robustness of LSE
Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem
Διαβάστε περισσότεραGAUGES OF BAIRE CLASS ONE FUNCTIONS
GAUGES OF BAIRE CLASS ONE FUNCTIONS ZULIJANTO ATOK, WEE-KEE TANG, AND DONGSHENG ZHAO Abstract. Let K be a compact metric space and f : K R be a bounded Baire class one function. We proved that for any
Διαβάστε περισσότεραw o = R 1 p. (1) R = p =. = 1
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 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
Διαβάστε περισσότεραThe semiclassical Garding inequality
The semiclassical Garding inequality We give a proof of the semiclassical Garding inequality (Theorem 4.1 using as the only black box the Calderon-Vaillancourt Theorem. 1 Anti-Wick quantization For (q,
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (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
Διαβάστε περισσότερα