kucukarslan et al.

Transcription

kucukarslan et al.
International Journal of Applications of Fuzzy Sets
Vol.1 ( June 2011), 39-44
http://eclass.teipat.gr/RESE-STE138/document
Bertrand Curves
in the Sense of Fuzzy Logic
Zühal Küçükarslan, Münevver Yıldırım Yılmaz, Mehmet Bektaş
e-mail: zkucukarslan@firat.edu.tr,
e-mail: myildirim@firat.edu.tr,
e-mail: mbektas@firat.edu.tr.
Abstract
In this paper, we give information about the fuzzy curves. We introduce the
notion of fuzzy Bertrand curves by using ☺ level set and obtain
characterizations.
Keywords: Fuzzy sets; Fuzzy geometry; Curves; Differential Geometry.
1
Introduction
Fuzzy sets theory was introduced by Zadeh in 1965. A fuzzy set is characterized by a
membership function which assigns to each object a grade of membership ranging
between zero and one. One of the main goals in the fuzzy sets theory is to give
fuzzification of different classical mathematical structures and to study properties of
these fuzzy objects. Many scientists have studied fuzzy sets theory by different
aspects for many years. Also, the concepts of fuzzy set, fuzzy logic, fuzzy number,
fuzzy topology and fuzzy geometry were studied.
The notion of Bertrand curves was introduced by J. Bertrand in 1850. Bertrand curve
is a curve which shares the normal line with another curve in Euclidean 3-space.
These curves have an important role in differential geometry of curves. There are
many works related with Bertrand curves in different areas, [1,2,16].
The study of curves and their characterizations have not been considered in fuzzy set
theory yet. In this regard, the aim of this work is to give a contribution to a kind of
fuzzy space curves in terms of the fuzzy Frenet frame.
In this paper, firstly we give the basic notions and properties of a fuzzy Frenet curve
by using the de Blasi differential. Subsequently we study fuzzy Bertrand curves.
39
2
Preliminaries
Let
denote the family of all nonempty compact convex subsets of
.
Addition and scalar multiplication are defined as usual in
Moreover, let
be a compact interval defined by
,
where
(i) u is normal i.e. there exist an
given by
,
(ii) u is fuzzy convex,
(iii) u is upper semicontinuous,
(iv)
is compact.
The
level set
of a fuzzy set u is given by
for each
Hence from (i)-(iv) it follows that
level set
Furthermore its support
is defined by
, for each
.
Hausdorff metric is defined as follows
,
where
, [7].
and
Definition 2.1 For
be the
,
is called a fuzzy vector such that
level set, respectively.
. Let
. The length of
is
defined by
,
[15].
Definition 2.2 For
defined as follows
level set
, semi- inner product of u,v is
,
[3].
Definition 2.3 A mapping
is the de Blasi differentiable at
, if there
exists an upper semi-continuous, homogeneous mapping
such that
1
d ∞ [ F (t 0 + ∆t ), F (t 0 + Dto (∆t )] = 0
|| ∆t ||
The mapping
is called the de Blasi differential of
Let
be a fuzzy function. Then for all
lim|||∆t|| → 0
.
the level set mapping
40
defined by
the de Blasi differentiable
. The level set mapping
is
.
We shall also
along in this work, [4].
Remark 2.4 From the above definition follows that if
is Hukuhara differentiable for all
multivalued mapping
,
where
denotes the Hukuhara derivative of
is differentiable then the
and
, [7].
Proposition 2.5
(i) If
is Hukuhara differentiable at
, then
is
nondecreasing in
for all
.
(ii) If the level set mapping exist Hukuhara differences, there exist the de Blasi
differences. The converse is not always true, [4].
Definition 2.6 Let
curve if
level set
be a differentiable functions.
is called a fuzzy
is defined by
, for all
.
be a fuzzy curve with
Definition 2.7 Let
, the velocity vector of
at
. Then, for all
is defined by
).
Definition
2.8
be
Let
a
fuzzy
curve.
Assume
is a fuzzy Frenet frame in
the
-
fuzzy curvature function
is called
Theorem 2.9 Let
the fuzzy curve , for
-
for
. Then, for
is defined as follows
,
where
that
,
fuzzy curvature.
denote the moving 3-fuzzy Frenet frame along
. The Frenet formulae are given by the following equations
41
(2.1)
is called the
where
3
-
fuzzy Ferenet curvature.
Fuzzy Bertrand Curves
Definition 3.1 Let
are
be fuzzy curves. The fuzzy Frenet frames of
denoted
by
and
,
respectively. If there exist a relationship between the fuzzy curves
that the principal normal lines of
coincide with the principal normal lines
the corresponding points of the fuzzy curves, then
curve and
such
at
is called a fuzzy Bertrand
is called as a fuzzy Bertrand partner curve of
The pair of
is said to be a fuzzy Bertrand pair.
Theorem 3.2 Let
be a fuzzy Bertrand pair. The distance between
corresponding points of the fuzzy Bertrand partner curves is constant.
Proof. From Definition 3.1 we can write
(3.1)
for some fuzzy functions
By the de Blasi differentiating equation (3.1) , we obtain
(3.2)
Since
This means that
are linearly dependent, and from (3.2) we have
is a nonzero constant, for
. Then
The following corollary can be easily obtained from the above theorem:
Corollary 3.3 The distances between corresponding points of all α − level sets of the
fuzzy Bertrand partner curves are equal .
42
Theorem 3.4 Let
are fuzzy curves and
curvature and the torsion of
and only if
Proof. Assume that the angle between
are the
.
and
be a fuzzy Bertrand pair if
is
then we get
(3.3)
By taking the de Blasi derivative of equation (3.3), we obtain
Using the linear dependency of
, for
, we obtain
(3.5)
From equation (3.3) and (3.5), we get
References
[1] Balgetir H., Bektaş M., Ergüt M., (2004). Bertrand curves for nonnull curves in 3dimensional Lorentzian space: Hadronic Journal, 27, 229-236 .
[2]Balgetir H., Bektaş M., Inoguchi,J., (2004). Null Bertand curves in Minkowski 3space and their characterizations: Note Di Matematica, 23, no.1, 7-13 .
[3] Cho E. W., Kim Y. K., Shin C. S., (1995). Fuzzy semi-inner product space: J.
Korea Soc. Math. Educ. Ser. B: Pure Appl. Math. 2, no. 2, 163-171.
[4] Diamond P., Kloeden P., (1993) . Metric spaces of fuzzy sets: World Scientific .
[5] El-Ghoul M., El-Deen M. R. Z., (1999) . On some local properties of fuzzy
manifold and its folding: Le Matematiche Vol. LIV Fasc. II, pp. 201-209.
43
fuzzy manifolds: Fuzzy Sets and Systems
[6] Feraro M., Foster D. H., (1993) .
Vol. 54 , pp. 99-106 .301-317.
[7] Kaleva O., (1987) . Fuzzy differential equations: Fuzzy Sets and Systems 24,
301-317 North-Holland.
[8] Kaufmann A., Gupta M. M., (1991) . Introduction to fuzzy arithmetic: Van
Nostrand Reinhold , New York.
[9] Kühnel W., (2005) . Differential geometry curves- surfaces- manifolds: American
Mathematical Society.
[10] Lakshmikantham V., Mohopatra R. N., (2003) . Theory of fuzzy differential
equations and inclusions: Taylor & Francis Group.
[11} O'Neill B., (1966). Elementary differential geometry: Academic Press, New
York/London.
[12] Rosenfeld A., (1984). The fuzzy geometry of image subsets: Pattern Recognition
Letters 2, 311-317.
[13] Rosenfeld A., (1998). Fuzzy geometry: Information Sciences 110, 127-133.
[14] Struik D. J., (1988). Lectures on classical differential geometry: Dover
Publications, New York, Second edition.
[15] Wu K., (2001). Extension of n dimensional Euclidean vector space over R
IJMMS 2003:37, 2349-2373, Hindawi
to pseudo fuzzy vector space over
Publishing Corp .
[16] Yılmaz M. Y., Bektaş, M., (2008) . General properties of Bertrand curves in
Riemann-Otsuki space: Nonlinear Analysis 69, 3225-3231.
44