• 検索結果がありません。

MULTIFUNCTIONS VECTOR-VALUED

N/A
N/A
Protected

Academic year: 2022

シェア "MULTIFUNCTIONS VECTOR-VALUED"

Copied!
8
0
0

読み込み中.... (全文を見る)

全文

(1)

VECTOR-VALUED FUZZY MULTIFUNCTIONS

ISMAT BEG

Lahore University

of Management

Sciences

Department of

Mathematics

5792

Lahore

Cantt.,

Pakistan

(Received October, 1999;

Revised February,

2001)

Some

of the properties of vector-valued fuzzy multifunctions are studied.

The notion of sum fuzzy

multifunction,

convex hull fuzzy

multifunction,

close convex hull fuzzy

multifunction,

and upper demicontinuous are

given, and some of the properties of these fuzzy multifunctions are investi-

gated.

Key

words:

Fuzzy Multifunction, Fuzzy Topological Vector Space, Fuzzy

Topological

Space, Fuzzy

Analysis.

AMS

subject classifications:

46S40, 47S40, 47H04, 04A72, 03E72,

46A99.

1. Introduction

In

the last three

decades,

the theory of multifunctions has advanced in a variety of ways. The theory of multifunctions was first codified by

Berge [8].

Applications of this theory can be found in economic theory, noncooperative games, artificial intelli- gence,

medicine,

and existence of solutions for differential inclusions

(see

Aubin and

Ekeland

[2],

Klein and Thompson

[15],

Aubin and Frankowska

[3],

and the references

therein).

Recently, Heilpern

[11],

Butnariu

[9],

Albrycht and Maltoka

[1], Papageor-

giou

[20],

Ozbakir and Aslim

[19],

Tsiporkova-Hristoskova,

De Baets

and

Kerre [22- 24],

and

Beg [4-7]

have started the study offuzzy multifunctions and hemicontinuous fuzzy multifunctions. The aim of this paper is to study properties of vector-valued fuzzy multifunctions. The notion ofsum fuzzy multifunction, and upper demicontin- uous fuzzy multifunction are given, and some of the properties of these fuzzy multi- functions are investigated.

2. Preliminaries

Let X

be an arbitrary

(nonempty)

set.

A

fuzzy set

(in X)is

a function with domain

X

and values in

[0, 1].

If

A

is a fuzzy set and x E

X,

the function

A(x)is

called the

grade of membership of x in

A.

The fuzzy set

A c,

defined by

AC(x)= 1-A(x),

is

Printed in the U.S.A.

@2001

by North Atlantic SciencePublishing Company 275

(2)

called the complement of

A.

A(x) <_ B(x)

for each x E

X.

and

Let A

and

B

be fuzzy sets in

X. We

write

ACB

if

For

any family

{Ai}

I offuzzy sets in

X,

we define:

f’ Ail (x)=

inf

Ai(x

ieI

J

ieI

[ U IAiJ (x)

supI

The family v of fuzzy sets in

X

is called a fuzzy

topology

for

X (and

the pair

(X, 7")

afuzzy topological

space)"

(i)

v contains every constant fuzzy set

(function)

in

X;

(ii) U

ie

iAi

7- whenever each

A 7-(i

E

1);

and

(iii)

Afl

B

7" whenever

A, B

E r.

The elements of r and their complements are called open and

closed,

respectively.

A

neighborhoods of a fuzzy set

A

ofa fuzzy topological space

X

is any fuzzy set

B

for which there is an open fuzzy set

V

satisfying

A

C

V

C

B. Any

open fuzzy set

V

that satisfies

A

C

V

is called an open neighborhood of

A. A

fuzzy set

A

in

(X, r)

is called

fuzzy

compact

if and only if open covering of

A

has a finite subcovering. Similarly, we can define fuzzy Hausdorff spaces.

A

net

(x;)

eA in a fuzzy topological space

(X, 7")

converges to a point x

(denoted

by

xx):

if given a neighborhood

V

of

x,

there exists a

"0

E

A

such that

x,x

E

V

whenever

, >_ "0" A

point x

belongs

to the closure ofafuzzy subset

C

of

X

ifthereis a net in

C

converging to x.

In general,

a net in a fuzzy

topological

space may con- verge to several pointsbut in afuzzy Hausdorff space, the convergence is unique.

A

single-valued map

f

from a fuzzy topological space

X

to a fuzzy topological space

Y

is called continuous at some xE

X

if

f- I(V)

is a neighborhood ofx or each neighborhood

V

of

f(x). (Here f-l(v)is

the fuzzy set in

X

defined by

[(f- I(V))(z)- V(f(x))]. For

further details, werefer to

[8, 10, 16-18, 25-27].

3. Fuzzy Multifunctions

A

fuzzy multifunction

f

from a set

X

into a set

Y

assigns to each x in

X,

a fuzzy

subset

f(x)

of

Y. We

denote this assignment by

f:

X--,Y.

We

can identify

f

with a

fuzzy subset

GI

of

X

x

Y

and

[f(x)](y) G](x,y).

If

A

is a fuzzysubset of

X,

then thefuzzy set

f(A)

in

Y

is defined by

[f(A)](y)

sup

[Gl(x,y

A

A(x)].

xX

The graph

G

f of

f

is thefuzzy subset of

X

x

Y

associated with

f,

G] {(x,y) X

x

Y:[f(x)](y) 0}.

by

Definition 3.1" The upper inverse

fu

ofa fuzzy multifunction

f: XY,

is defined

[fU(A)](x)

yCYinf

[(1-Gl(x,y))

V

A(y)].

(3)

by

Definition 3.2: The lower inverse

fg

of a fuzzy multifunction

f" X---+Y

is defined

[fg(A)](x) [Gi(x,y)

A

A(y)].

yEY

Definition 3.3: The fuzzy multifunction

f: XY

is fuzzy closed valued if

f(x)

is a

closed fuzzy set for each x. The terms fuzzy open valued and fuzzy compact valued are defined similarly.

Definition 3.4:

A

fuzzy multifunction

f:XY

between two fuzzy topological spaces

X

and

Y

is"

(a)

upper hemicontinuous at the point x, if for every open neighborhood

U

of

f(x), f’(U)

is a neighborhood of x in

X.

The fuzzy multifunction

f

is

upper hemicontinuous on

X

if it is upper hemicontinuous at every point of

X;

(b)

lower hemicontinuous at

x,

if for every open fuzzy set

U

which intersects

f(x), I(U)

is a neighborhood of x.

As above, f

is lower hemicontinuous on

X

if it is lower hemicontinuous at each point of

X;

(c)

continuousif it is both upper and lower hemicontinuous.

For

a more detailed account of the

concepts

outlined

above,

the reader is referred to

Beg [5, 6]

and Tsiporkova-Hristoskova,

De naets

and

Kerre [23, 24].

4. Fuzzy Topological Vector Spaces

Let E

be a vector space over

K,

where

K

denotes either the real or the complex num- bers.

Let A1,A2,...,A

n be fuzzy subsets of

E,

with

A lxA2xA3x...xA

n denoting

thefuzzy subset

A

in

E

n defined by

A(xl,x2,...,Xn) min{A(x),A2(x2),...,An(xn) }.

If

f:En--+E

is defined by

f(xl,x2;...Xn) x +

x2

+... + xn,

then the fuzzy set

f(A)

in

E

is called the sum of the fuzzy sets

A1,A2,...,An,

and it is denoted by

A +

A2... + A

n.

For

a fuzzy subset

A

of

E

and t a

scalar,

we denote

tA

as the image of

A

under the map g:

EE, g(x)

ix. Ifa is a fuzzy set in

K

and

A

afuzzy set in

E,

then the image in

E

ofthe fuzzy set

axA,

a fuzzy subset of

KE[(a A) (t,x)=

min{a(t),A(x)}]

under the map h:Kx

EE, h(t,x)= tx,

is denoted by

cA. A

fuzzy set

A

in

E

is called convex if for each

E[0,1], [tA+(1-t)A] (x)< A(x).

The

convex hull of a fuzzy set

B

is the smallest convex fuzzy set containing

B,

and is denoted by

Co(B).

Given a topological space

(X, 7-),

the collection

w(7-)

of all fuzzy sets in

X,

which

are lower

semicontinuous,

as a function from

X

to

[0,1]

equipped with the usual

topology,

is a fuzzy

topology

of

X.

The fuzzy topology

w(v)

is called the fuzzy

topology

generated by the usual

topology

7-. The fuzzy usual topology on

K

is the fuzzy topology generated by the topology of

K.

Definition 4.1"

A

fuzzy linear topology on a vector space

E

over

K

is a fuzzy topology 7- on

E

such that the two mappings:

f:ExE--,E, f(x,y)

x

+

y, and

(4)

h:

K E--E, h(t, x) tx,

are continuous when

K

has the usual fuzzy topology, with

K

x

E, E

x

E

being the corresponding product fuzzy topologies.

A

linear space with a fuzzy linear

topology

is called a fuzzy topological vector space.

Lemma

4.2:

In

a fuzzy topological vector space

X,

the algebraic sum

of

a compact

fuzzy set and a closedfuzzy set is closedfuzzy set.

Proof:

Let A

be a compact fuzzy subset and

B

be a closed fuzzy subset of

X. Let

a net

{x,x + Y,X}

in

A + B

satisfy

xx + yx--z.

Since

A

is compact fuzzy

set,

we can

assume

(by

passing to a

subnet)

that

xA-x

E

A.

The continuity of the algebraic operations imply"

y)

(x + y)- x,x--z-

x y.

Since

B

is a closed fuzzy

subset, therefore, yEB. So z=x+yA+B. Hence A + B

is a close fuzzy set.

Lemma

4.3:

In

a fuzzy topological vector space

X,

the algebraic sum

of

two

compact fuzzy sets is a compact fuzzy set.

Proof: Similar to

Lemma

4.2.

Theorem 4.4:

Let K

be a compact fuzzy subset

of

a fuzzy topological vector space

X. Suppose K

C

U,

where

U

is an openfuzzy subset. Then there is a neighborhood

W of

origin such that

K + W

C

U.

Proof:

For

each

x K,

there is a neighborhood

V

x of origin such that x

+ Vx

C

U.

Choose an open neighborhood

Wx

oforigin so that

Wx + Wx

C

Vx

for

each x. Since

K

is a compact fuzzy

set,

there is a finite set

{Xl,X2,...,xn)

of points

with

K

C

[.Jni l(Xi + Wx

."

Set W n

i=1

W

x

For

every x

K

there is some x

satisfying x x

+ Wx. F)r

this xi,

+ w + + w) c + x; + w

x

C x

+ Vxi

C

U.

Hence K+WCU.

Theorem 4.5:

Let X

be afuzzy topological vector space.

If

each

Ai(i co n act, Co( [J

i--1

Proof: Since the continuous image of a compact fuzzy set is a compact fuzzy set and the

Hence

Definition

C0( J _

4.6:

1Ai) A

isfuzzy topologicala compact fuzzyvector spaceset.

E

is called locally convexif it has a base at the origin ofconvex fuzzy sets.

For basic concepts and details regarding fuzzy topological vector spaces, we refer to

[12-14,

17,

181.

(5)

5. Vector-Valued Fuzzy Multifunctions

When the range space of a fuzzy multifunction is a vector space, then there are additional natural operations onfuzzy multifunctions.

Definition 5.1" If f,g’X---Y are two fuzzy multifunctions, where

Y

is a vector space, then wedefine:

1. The sumfuzzy

multifunction f +

g by

(f

/

g)(x) f(x) + g(x) {y +

z:y E

f(x)

and z E

g(x)}.

The convexhullfuzzy

multifunction co(f)

of

f

by

(co(f))(x) co(f(x)).

If

Y

is a fuzzy topological vector space, the closed convex hull fuzzy

multifunction c(co(f)

of

f

by

(cg(co(f)))(x) c(co(f(x)) ).

Lemmas

4.2 and 4.3 imply the following theorem.

Theorem 5.2:

Let

f,g:

X-Y

be twofuzzy

multifunctions from

a fuzzy topological space

X

into afuzzy topological vector space

Y:

1.

If f

is closed valued and g is compact-valued, then

f +

g is closed valued.

2.

If f

and g are compact

valued,

then

f +

g is compact valued.

Theorem 5.3:

Let

f,g:

X---Y

be two fuzzy

multifunctions from

a fuzzy topological space

X

into a fuzzy topological vector space

Y. If f

and g are compact valued and

upper hemicontinuous at apoint Xo, then

f +

g is upper hemicontinuous at xo.

Proof:

Let f

and g be upper hemicontinuous fuzzy multifunctions at the point x0.

Suppose f(xo) + g(xo)

C

G,

where

G

is an open fuzzy subset ofY.

By

Theorem

4.4,

there is a neighborhood

V

oforigin such that

f(xo) + g(xo) + V

C

G.

Select an open

neighborhood

W

of origin with

W+W

C

Y.

Since

f(xo)

C

f(xo) +W

and

f(xo) + W

is open, the upper hemicontinuity of

f

at x0

guarantees

the existence ofan open neighborhood

N

1 of x0 such that

f(N1)

C

f(Xo)+ W.

Similarly, there existsan open neighborhood

N

2 of x0 with

g(N2) Cg(x o+W. Let N=N 1AN2,

then

N

is

an open neighborhood ofx0and

(f + g)(N)

C

f(N1) + g(N2)

C

f(xo) + W + g(Xo) + W

C

G.

It

further implies that

f

/g is upper hemicontinuousfuzzy multifunctions at x0.

Theorem 5.4:

Let

f,g:

X---Y

be two fuzzy

multifunctions from

a fuzzy topological space

X

into afuzzy topological vector space

Y. If f

and g are also lower hemicon- tinuous fuzzy

multifunctions

at a point Xo, then

f

/g is also lower hemicontinuous fuzzy

multifunctions

at xO.

Proof:

Suppose [f(x0) + g(x0)

N

U = ,

where

U

is open fuzzy subset. Then there

are y in

f(xo)

and z

g(xo),

with y

+

z

U. Thus,

there is an open neighborhood

V

oforigin such that y

+ V +

z

+ V

C

U.

Since y

f(xo) (y + V)

and

f

is lower hemi- continuous fuzzy multifunction at x0,

f (y + V)

is a neighborhood ofx0.

Similarly, g

(z/V)

is aneighborhood ofx0.

Hence, ifxf (y/V)

N

g (zWV),

then

If(z) + g(x)] U .

(6)

Theorem 5.5:

Let fi: X-Y (i 1,2,...,n)

be

(single-valued)

fuzzy

functions from

a fuzzy topological space

X

into a fuzzy topological vector space

Y,

and the fuzzy

multifunction I:X--Y

be given by

f(x)-{fl(x),f2(x),...,fn(x)}. If

each

fi

is

continuous at apoint xo E

X,

then thefuzzy

multifunction f

is continuous at xo.

Proof:

Suppose f(xo)= {fl(xo, f2(xo),...,fn(xo)}

C

U,

where

V

is an open fuzzy

subset of

Y.

Then:

n

V f/- I(U)

i=1

is an open

neighborhood

of x0 such that x E

V

implies

f(x)C U. It

further implies

that the fuzzy multifunction

f

is upper hemicontinuous.

Next,

suppose

f(xo)

r’l

W -

for some open fuzzy subset

W

of

Y.

If

fn(xo) W,

then

P-fl(W)

is a neighborhood of x0, and xG

P

implies

f(P) MW :-. It

further implies that the fuzzy multifunction

f

is lower semicontinuous.

Hence

the fuzzy multifunction

f

iscontinuous.

Theorem 5.6:

Let fi:XY (i 1,2,3,...,n)

be

(single-valued)

fuzzy

functions from

a fuzzy topological space

X

into a locally convex fuzzy topological vector space

Y,

and

I:X--Y

be given by

f(x)- {fl(x),f2(x),...,fn(x)}. If

each

fi

is continuous at some point Xo, then the convex hullfuzzy

multifunction co(f)

is continuous at xo.

Proof:

Suppose

that

(co(f))(x)

C

U,

where

U

is an open fuzzysubset ofthe locally

convex fuzzy topological vector space

Y. By

Theorem

4.5, (co(f))(x)

is compact.

Theorem 4.4 further implies that there exists an open convex

neighborhood W

of origin satisfying

(co(f))(Xo) + W

C

U. From f(xo)

C

f(xo) + W

and the upper hemi- continuity of

f

at x0

(Theorem 5.5),

there exists a neighborhood

V

of x0 such that

f(x)

C

f(xo)+ W

for each x

Y. So,

if x

V,

then

(co(f))(x)

C

(co(f))(Xo)+

W

C

U.

This also implies that

co(f)

is an upper hemicontinuous fuzzy multifunction at x0.

Next,

let

(co(f))(Xo)ClU :/=

for some open fuzzy subset

V.

Pick

(i- 1,

2,

n),

with

n t

A i-1

and

Aifi(xo)

GU,

i=1 i=1

The fuzzy function g:

XY

defined by

g(x)- E = lifi(x)

is continuous at x0

(by

definition offuzzy topological vector

spaces).

This implies that there exists aneigh- borhood

V

ofx0 such that x

V

implies

i= llifi(x) U.

Therefore, ((Co)(I))(x)

gl

U :/:

for each x

e V.

Thus

Co(I)

is a lower hemicontin- uous fuzzy multifunction at x0.

Hence, co(f)

is a continuous fuzzy multifunction at

X 0

Theorem 5.7:

Let X

be a fuzzy topological space and

Y

be a locally convexfuzzy topological vector space. Let

f:XY

be an upper hemicontinuous fuzzy

multifunc-

tion at x.

If (cg(co(f)))(x)

is compact, then

cg(co(f)

is an upper hemicontinuous fuzzy

multifunction

at x.

Proof:

Let (c(co(I)))(x)

C

P

for some open fuzzy set

P.

If

(c(co(I)))(x)

iscom-

pact, then there is a convex neighborhood

V

of origin with

v + v c P (by

definition of local convexity and Theorem

4.4). Lemma

4.2 further

implies that

(c(co(I)))(x) + c(V)is

a closed convex fuzzy set. Since

f

is an upper

hemicontinuous fuzzy multifunction at x,

IU(f(x)+ V)is

a neighborhood of x. If z

e fu(f(x)

/

V),

then

f(z)

C

f(x)

/

V,

so

(7)

(cg(co(f)))(z)

C

(cg(co(f)))(x) + cg(V)

c v + v c e.

Therefore, (ce(co(f)))(P)

includes

fu(f(x)+ V). Hence ce(co(f)),

is an upper hemi- continuousfuzzy multifunction at x.

Definition 5.8:

A

fuzzy multifunction

f:X-+Y

from a fuzzy topological space

X

into a fuzzy topological vector space

Y

is upper demicontinuous if

fU({y

E

Y:

h(y) <

a where h is a continuous linear fuzzy singlevalued function from

Y

into

K})

is an open subset of

X.

Theorem 5.9:

A

compact valued fuzzy

multifunction f:X-Y from

a fuzzy

topological space

X

into afuzzy topological vector space

Y

is upper demicontinuous

if

and only

if ce(co(f)

is upper demicontinuous.

Proof:

Let H

C

Y

be an open half fuzzy space of the form

H {y

where g:Y-K is a continuous linear fuzzy single valued function. Since g is a linear andcontinuous fuzzy function,

max{g(y):

y

f(x)} max{g(y):

y

(c.(co(f)))(x)}.

It

implies

f(x)

C

H

if and only if

(ce(co(f)))() c H.

demicontinuous if and only if

ce(c0(f)

is also demicontinuous.

Hence f

is upper

References

[2]

[41 [5]

[1]

Albrycht,

a.

and

Maltoka, M., On

fuzzy multivalued functions,

Fuzzy Sets

and

Systems

12

(1984),

61-69.

Aubin, J.P.

and

Ekeland, I.,

Applied Nonlinear Analysis, Wiley-Interscience 1984.

Aubin, J.P.

and

Frankowska, H.,

Set-Valued Analysis, Birkhauser,

Boston

1990.

Beg, I.,

Fixed points of fuzzy multivalued mappings with values in fuzzy ordered

sets, J. Fuzzy

Math. 6:1

(1998),

127-131.

Beg, I.,

Continuity of fuzzy

multifunctions, J.

Appl. Math. and Stoch. Anal.

12:1

(1999),

17-22.

[6] Beg, I., Fuzzy

closed

graph

fuzzy

multifunctions, Fuzzy Sets Systems

115:3

(2000),

451-454.

[7] Beg, I.,

Operations on fuzzy multifunctions and fuzzy maximum principle, submitted.

[8] Berge, C.,

Topological

Spaces,

MacMillan,

New

York 1963. English trans, by

E.M. Patterson

of

Espaces

Topologiques Fonctions Multivoques,

Dunod,

Paris 1959.

[9]

Butanriu,

D.,

Fixed points for fuzzy mappings,

Fuzzy Sets

and

Systems

7

(1982),

191-207.

[10] Chang, C.L., Fuzzy

topological spaces,

J.

Math. Anal. Appl. 24

(1968),

182-190.

[11]

Heilpern,

S., Fuzzy

mappings and fixed point

theorem, J.

Math. Anal. Appl. 83

(1981),

566-569.

[12] Katsaras, A.K., Fuzzy

topological vector spaces

I, Fuzzy Sets

and

Systems

6

(1981),

85-95.

[13] Katsaras, A.K., Fuzzy

topological vector spaces

II, Fuzzy Sets

and

Systems

12

(8)

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

(1984),

143-154.

Katsaras, A.K.

and Liu,

D.B., Fuzzy

vector spaces and fuzzy topological vector spaces,

J.

Math. Anal. Appl. 58

(1977),

135-146.

Klein, E.

and Thompson,

A.C.,

Theory

of

Correspondences: Including Applica- tions to Mathematical Economics, John Wiley and

Sons

1984.

Li,

H.X.

and

Yen, V.C., Fuzzy Sets

and

Fuzzy

Decision Making,

CRC Press,

London 1995.

Lowen, R., Fuzzy

topological spaces and fuzzy compactness,

J.

Math. Anal.

Appl. 56

(1976),

621-633.

Lowen, R., A

comparison of different compactness notions in fuzzy topological spaces,

J.

Math. Anal. Appl. 64

(1978),

445-454.

Ozbakir, O.B.

and Aslim,

G., On

some types of fuzzy continuous multifunc-

tions,

Bull. Cal. Math.

Soc.

88

(1996),

217-230.

Papageorgiou,

N.S., Fuzzy topology

and fuzzy

multifunctions, J.

Math. Anal.

Appl. 109

(1985),

397-425.

Pu, P.

and

Liu, Y., Fuzzy topology I:

Neighborhood structure of a fuzzy point andMoore-Smith convergence,

J.

Math. Anal. Appl. 76

(1980),

571-599.

Tsiporkova-Hristoskova,

E., De Baets, B.

and

Kerre, E., A

detailed study of direct and inverse images under fuzzy multivalued mappings,

J. Fuzzy

Math 3

(1995),

191-208.

Tsiporkova-Hristoskova,

E., De Baets, B.

and

Kerre, E., A

fuzzy inclusion based approach to upper inverse images under fuzzy multivaluedmappings,

Fuzzy Sets

and

Systems

85

(1997),

93-108.

Tsiporkova-Hristoskova,

E., De Baets, B.

and

Kerre, E.,

Continuity of fuzzy multivalued mappings,

Fuzzy Sets

and

Systems

94

(1998),

335-348.

Weiss,

M.D.,

Fixed points, separation and induced topologies for fuzzy

sets, J.

Math. Anal. Appl. 50

(1972),

142-150.

Zadah, L.A., Fuzzy sets, Inform.

Control. 8

(1965),

338-353.

Zimmermann, H.J., Fuzzy Set

Theory and its Applications, Kluwer Academic

Publishers, Boston

1991.

参照

関連したドキュメント

Since locally closed functions with all point inverses closed have closed graphs [2], (c) implies

The study of uniqueness of solutions of Cauchy problems associated to ordi- nary differential equations in R n seems to be not an easy problem in general.. If we consider the

We give affirmative answers to two questions concerning the exis- tence of centers on local center manifolds at equilibria of a quadratic system in the three dimensional space..

SIMSEK, q-Bernoulli numbers and polynomials associated with multiple q-zeta functions and basic L-series,

In [11] the authors classify all centers of the family of the BiLi´ enard systems of degree five and find the maximum number of limit cycles which can bifurcate from a fine focus

An algorithmic computation of the set of unpointed stable ho- motopy classes of equivariant fibrewise maps was described in a recent paper [4] of the author and his collaborators..

A mapping f from a space X into a space Y is called regular open 7 if it maps regular open subsets onto regular open sets, almost open 8 if f −1 U ⊂ f −1 U whenever U is open in

Proof: Assume by contradiction that there exist a compact Hausdorff semi radial space X and a compact Hausdorff pseudo radial space Y such that the product Z = X × Y is not