The fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane are given and the conditions to the fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane with base plane, that is, projective plane, are determined.
1. Introduction
In 1965, Zadeh [1] introduced the concept of fuzzy set. Since then, research on the theory and applications of fuzzy sets has been growing steadily. Several basic geometric concepts have been considered by various authors in a fuzzy context [2–4]. An attempt to develop a kind of fuzzy projective geometry deduced from fuzzy vector space was made by Kuijken et al. [5]. This provided a link between the fuzzy versions of classical theories that are very closely related. In these papers, for the most suitable definition of fuzzy geometry, they encountered the following problem. There are two possibilities to fuzzify the points of geometry. Either one assigns a unique degree of membership to each of them or one assigns several degrees of membership to all of them. They explored the second possibility, and it turns out that the geometric structures involved are much richer and defined fibered projective planes and looked at fibered versions of theorems of Desargues and Pappus [6]. The role of the triangular norm in the theory of fibered projective planes and fibered harmonic conjugates and a fibered version of Reidemeister’s condition were given in [7]. The authors considered different triangular norms in the theory of fibered projective planes. When the minimum operator is used, this implies that if the underlying projective plane is finite, then a finite number of f-points generate a finite fibered projective plane. However, for other triangular norms, the fibered plane may be infinite. For instance, if we take a∧b=ab, the ordinary product, then we see that, as soon as at least one membership degree α is different from 1, we obtain infinitely many membership degrees and therefore infinitely many f-points. Another observation to be made is that not all triangular norms are suitable here. For instance, if we take the Lukasiewicz norm, given by a∧b=max{0,a+b-1}, then no point can have a membership degree different from 1. Hence a fibered projective plane with the Lukasiewicz triangular norm is equivalent to a crisp projective plane.
Kaya and Çiftçi introduced the 6-figures of Menelaus and Ceva in Moufang projective planes in [8]. In 1992, in order to state the theorems of Menelaus and Ceva, Klamkin and Liu needed the notion of signed distance in projective plane ℙ2(ℝ). In 2008, Kelly [9] generalized the Klamkin and Liu [10] result to projective planes ℙ2(𝔽), where 𝔽 is the field of characteristic not equal to two. But, in an arbitrary field, distance is not defined. Thus he used the scalars that are associated with the cross-ratio to prove these theorems in projective planes ℙ2(𝔽).
In this paper, since the definition of cross-ratio has not extended to fibered projective plane yet, we propose to contribute to fuzzy geometry by looking at the fibered version of Menelaus and Ceva 6-figures in the fibered projective plane which are given and the conditions to the fibered version of Menelaus and Ceva 6-figures in the fibered projective plane with base plane, that is, projective plane, are determined. We believe that such a concept will play an important role to establish a genuine fuzzy geometry.
2. Preliminaries
We first recall some basic notions from fuzzy set theory and fibered geometry. We denote by ∧ a triangular norm on the (real) unit interval [0,1], that is, a symmetric and associative binary operator satisfying (a∧b)≤(c∧d) whenever a≤c and b≤d, and a∧1=a, for all a,b,c,d∈[0,1].
Definition 1 (see [6]).
Let 𝒫=(P,B,∘) be any projective plane with point set P and line set B; that is, P and B are two disjoint sets endowed with a symmetric relation ∘ (called the incidence relation) such that the graph (P∪B,∘) is a bipartite graph with classes P and B and such that two distinct points p, q in 𝒫 are incident with exactly one line; every two distinct lines L, M are incident with exactly one point, and every line is incident with at least three points. A set S of collinear points is a subset of P, each member of which is incident with a common line L. Dually, one defines a set of concurrent lines. We now define fibered points and fibered lines, which are briefly called f-points and f-lines.
Definition 2 (see [6]).
Suppose that a∈P and α∈]0,1]. Then an f-point (a,α) is the following fuzzy set on the point set P of 𝒫:
(1)(a,α):P⟶[0,1]:{a⟶α,x⟶0ifx∈P∖{a}.
Dually, one defines in the same way the f-line (L,β) for L∈B and β∈]0,1]. The real number α above is called the membership degree of the f-point (a,α), while the point a is called the base point of it, the same for f-lines.
Definition 3 (see [6]).
The two f-lines (L,α) and (M,β), with α∧β>0, intersect in the unique f-point (L∩M,α∧β). Dually, the f-points (a,λ) and (b,μ), with λ∧μ>0, span the unique f-line (〈a,b〉,λ∧μ).
Definition 4 (see [6]).
A (nontrivial) fibered projective plane ℱ𝒫 consists of a set FP of f-points of 𝒫 and a set FB of f-lines of 𝒫 such that every point and every line of 𝒫 are the base point and base line of at least one f-point and f-line, respectively (with at least one membership degree different from 1), and such that ℱ𝒫=(FP,FB) is closed undertaking intersections of f-lines and spans of f-points. Finally, a set of f-points are called collinear if each pair of them span the same f-line. Dually, a set of f-lines are called concurrent if each pair of them intersects in the same f-point.
Theorem 5 (see [6]).
Suppose that one has a fibered projective plane ℱ𝒫 with base plane 𝒫, that is, Desarguesian. Choose the three f-points (a1,α1),(a2,α2), and (a3,α3) in ℱ𝒫 with noncollinear base points, and the three other f-points (b1,β1), (b2,β2), and (b3,β3) with noncollinear base points, such that the lines 〈ai,bi〉, for i∈{1,2,3}, are concurrent in a point p of 𝒫, with ai≠bi≠p≠ai. Then the three f-lines (〈ai,aj〉,αi∧αj) and (〈bi,bj〉,βi∧βj) (for i≠j and i,j∈{1,2,3}) intersect in three collinear f-points.
3. Fibered Version of Menelaus and Ceva 6-Figures
The Alexandrian Greek mathematician Menelaus and the seventeenth-century Italian mathematician Ceva are invariably mentioned together. Menelaus’ theorem, which involves a test for the collinearity of three points, and Ceva’s theorem, which involves a test for the concurrency of three lines, are frequently called the twin theorem. These theorems should have been discovered together, and it is not insignificant that such a long period separates Menelaus and Ceva. During the 1500 years that separate the two there was little development in mathematics. About the year A.D. 100, Menelaus of Alexandria extended a then well-known lemma to spherical triangles in his Sphaerica, the high point of Greek trigonometry. It is this lemma for the plane that today bears the name of Menelaus. Of the Ceva brothers, the lesser known Tommaso wrote on the cycloid while Giovanni resurrected the forgotten Menelaus’ theorem and published it in 1678 along with the twin theorem now known as Ceva’s theorem.
We now recall some observations regarding the triangular norm and the Menelaus and Ceva 6-figures.
In [7], the following theorems give an answer to the question, when does a finite fibered projective plane exist given a particular triangular norm?
Theorem 6 (see [7]).
Let 𝒫 be a finite crisp projective plane and ∧ a triangular norm. Then there exists some finite nontrivial fibered projective plane ℱ𝒫 with base plane 𝒫 if and only if there exists an idempotent element α∈]0,1]; that is, α∧α=α.
Theorem 7 (see [7]).
Let 𝒫 be an arbitrary crisp projective plane and ∧ a triangular norm. Then there exists some nontrivial fibered projective plane ℱ𝒫 with base plane 𝒫 if and only if one of the following holds:
there exists an idempotent element α∈]0,1[;
there exists an element α∈[0,1[, with the property that β∧β′>α, for all β,β′∈]α,1].
In [7], the definition and theorems related to f-harmonic conjugate in a fibered projective plane whose base plane satisfies Fano’s axiom are given.
Definition 8 (see [7]).
Suppose that one has a fibered projective plane ℱ𝒫 with base projective plane 𝒫. Choose the four f-points (a1,α1), (a2,α2), (a3,α3), and (a4,α4) in ℱ𝒫, none of the three base points of which are collinear. These f-points are called f-vertices. The configuration that consists of these four f-points, the six f-lines (A{i,j},β{i,j})=:(〈ai,aj〉,αi∧αj), for i≠j, i,j∈{1,2,3,4} (which we call f-sides), and the three f-points (A{i,j}∧A{k,l},α1∧α2∧α3∧α4), with {i,j,k,l}={1,2,3,4} (the f-diagonal points), is called an f-complete quadrangle.
Theorem 9 (see [7]).
Suppose that one has a fibered projective plane ℱ𝒫 with base plane 𝒫. Let a, b, and c be three collinear points in 𝒫 and let (a,α), (b,β), (c,γ) be three f-points of ℱ𝒫. Suppose that the point d on 〈a,b〉 obtained by intersecting 〈a,b〉 with the join of the two diagonal points different from c in any complete quadrangle, wherea,b are vertices and c is a diagonal point, is independent of the chosen quadrangle. Then the f-point (d,δ) obtained by intersecting (〈a,b〉,α∧β) with the f-join of the two f-diagonal points different from (c,γ) in any f-complete quadrangle, where (a,α), (b,β) are f-vertices and (c,γ) is an f-diagonal point, is independent of chosen f-complete quadrangle.
The f-point (d,δ) of previous theorem, if it exists, is called the fourth f-conjugate to ((a,α), (b,β), (c,γ)).
Theorem 10 (see [7]).
Given a triangular norm ∧, then ∧ is the minimum operator if and only if, in any fibered projective plane ℱ𝒫, for every quadruple ((a,α), (b,β), (c,γ), (d,δ)) of f-points with collinear base points, the f-point (d,δ) is the fourth f-conjugate to ((a,α), (b,β), (c,γ)) whenever (c,γ) is the fourth f-conjugate to ((a,α), (b,β), (d,δ)).
The original definitions of Menelaus and Ceva 6-figures are given in [11].
Definition 11 (see [8]).
Let 𝒫 be a projective plane. A 6-figure in 𝒫 is a sequence of six distinct points (a1a2a3,b1b2b3) such that a1a2a3 constitutes a nondegenerate triangle with b1∈〈a2,a3〉, b2∈〈a1,a3〉, b3∈〈a1,a2〉. The points a1, a2, a3, b1, b2, b3 are called vertices of this 6-figure. Such a configuration is said to be a Menelaus 6-figure or a Ceva 6-figure if b1, b2, and b3 are collinear or if 〈a1,b1〉, 〈a2,b2〉, 〈a3,b3〉 are concurrent, respectively.
We now consider some classical configurations and theorems and extend them to fibered projective planes, for satisfying one of the conditions (i) and (ii) in Theorem 7, suitably.
Definition 12.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}, with (bk,βk)∈(〈ai,aj〉,αi∧αj) for i≠j≠k, {i,j,k}={1,2,3}. If the f-points (bk,βk) are f-collinear, the configuration that consists of these six f-points is called an f-Menelaus 6-figure. It is called f-Menelaus line spanned with f-points (bk,βk) for k={1,2,3}.
Theorem 13.
Suppose that one has a fibered projective plane ℱ𝒫 with base plane 𝒫. Let a1, a2, a3 be three noncollinear points in 𝒫 and let (a1,α1), (a2,α2), (a3,α3) be three f-points of ℱ𝒫. Suppose that the point b3 on 〈a1,a2〉 is obtained by intersecting 〈a1,a2〉 with the join of two chosen points b1 and b2 where b1 on 〈a2,a3〉 and b2 on 〈a1,a3〉. Then the f-point (b3,β3) obtained by intersecting (〈a1,a2〉,α1∧α2) with the f-join of the two f-points (b1,β1) and (b2,β2), where (b1,β1), (a2,α2), (a3,α3) and (b2,β2), (a1,α1), (a3,α3) are f-collinear, is independent of the chosen f-points (b1,β1) and (b2,β2).
Proof.
Since the three f-points (a1,α1), (a3,α3), (b2,β2) and the three f-points (a2,α2), (a3,α3), (b1,β1) are f-collinear, α1∧α3=α1∧β2=α3∧β2 and α2∧α3=α2∧β1=α3∧β1. One calculates that β3=α1∧α2∧α32, and hence the f-point (b3,β3) is independent of the choice of the f-points (b1,β1) and (b2,β2).
Theorem 14.
Suppose that one has a fibered projective plane ℱ𝒫 with base plane 𝒫. Choose the three f-points (a1,α1), (a2,α2), and (a3,α3) in ℱ𝒫, neither of the three base points of which is collinear. Let the f-point (b3,β3) be obtained by intersecting (〈a1,a2〉,α1∧α2) with the f-join of the two f-points (b1,β1) and (b2,β2), where (b1,β1), (a2,α2), (a3,α3) and (b2,β2), (a1,α1), (a3,α3) are f-collinear. Then the configuration that consists of the six f-points (ai,αi), (bi,βi), i∈{1,2,3}, is an f-Menelaus 6-figure.
Proof.
Since the three f-points (b1,β1), (b2,β2), and (b3,β3) are f-collinear, from Definition 12, the configuration that consists of the six f-points (ai,αi), (bi,βi), i∈{1,2,3}, is an f-Menelaus 6-figure.
Theorem 15.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and with (bj,βj)∈(〈ai,ak〉,αi∧αk) for i≠j≠k, {i,j,k}={1,2,3}. If b1, b2, and b3 in 𝒫 are collinear, then the three f-points (bj,βj), j∈{1,2,3}, are f-collinear if and only if α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
Proof.
A configuration is picked such that three f-points (a1,α1), (a2,α2), and (a3,α3) and (bj,βj)∈(〈ai,ak〉,αi∧αk) for i≠j≠k, {i,j,k}={1,2,3}. Suppose the three f-points (bj,βj), j∈{1,2,3}, are f-collinear. Since three f-points (bj,βj) are f-collinear and the three f-points (ai,αi), (aj,αj), and (bk,βk), for i≠j≠k, {i,j,k}={1,2,3}, are f-collinear βi∧βj=βi∧βk and αi∧αj=αi∧βk=αj∧βk. Then clearly α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
Conversely, if α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α33 are satisfied, β1∧β2=β1∧β3=β2∧β3. Then three f-points (b1,β1), (b2,β2), and (b3,β3) are f-collinear.
The Fibered Menelaus Condition (FMC). Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}, with (bk,βk)∈(〈ai,aj〉,αi∧αj) fori≠j≠k, {i,j,k}={1,2,3}. The configuration that consists of these six f-points is Menelaus 6-figure if and only if α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
Theorem 16.
Let ∧ be a triangular norm. Let ℱ𝒫 be any nontrivial fibered projective plane with base plane 𝒫 and triangular norm ∧. Then there is at least triangular norm ∧ such that ℱ𝒫 satisfies FMC.
Proof.
When the minimum operator for ∧ is used, it implies that α1, α2, and α3 are idempotent elements in Theorem 15. So FMC is satisfied. Clearly, using the operator defined by a∧b=1/2 for all a,b≥1/2, and a∧b=min{a,b}, otherwise, is a triangular norm, then also FMC is satisfied.
Pappus’ theorem is an important theorem in geometry. Firstly, Kuijken and Van Maldeghem gave the fibered version of Pappus’ theorem using the minimum operator for ∧, [6].
It is known that Pappus’ theorem can be proved by using the Menelaus theorem. Now, we give the fibered version of Pappus’ theorem by using the f-Menelaus 6-figure.
Theorem 17.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. The fibered version of the Pappus configuration is obtained by using five f-Menelaus configurations.
Proof.
We choose two triples of f-points (ai,αi), (bi,βi), and (ci,γi) with collinear base points for i=1,2, and such that neither of the three of the base points a1, b1, a2, b2 is collinear. Then three intersection f-points are (a,α)=(〈a2,b1〉,α2∧β1)∩(〈a1,c2〉,α1∧γ2), (b,β)=(〈a2,b1〉,α2∧β1)∩(〈b2,c1〉,β2∧γ1), and (c,γ)=(〈b2,c1〉,β2∧γ1)∩(〈a1,c2〉,α1∧γ2). Let (m1,μ1)=(〈b,c〉,β∧γ)∩(〈b1,c2〉,β1∧γ2), (m2,μ2)=(〈a,c〉,α∧γ)∩(〈a2,c1〉,α2∧γ1), and (m3,μ3)=(〈a,b〉,α∧β)∩(〈a1,b2〉,α1∧β2). If the triples of f-collinear points {(m1,μ1),(c2,γ2),(b1,β1)}, {(m2,μ2),(a2,α2),(c1,γ1)}, {(m3,μ3),(b2,β2),(a1,α1)}, {(a1,α1),(c1,γ1),(b1,β1)}, and {(b2,β2),(a2,α2),(c2,γ2)} are f-Menelaus 6-figure with the three f-points (a,α), (b,β), (c,γ), then μ1∧γ2=μ1∧β1=γ2∧β1, μ2∧α2=μ2∧γ1=α2∧γ1, μ3∧β2=μ3∧α1=α1∧β2, α1∧γ1=α1∧β1=β1∧γ1, and α2∧γ2=α2∧β2=β2∧γ2. It is easily seen that μ1∧μ2=μ1∧μ3=μ2∧μ3. The triple of f-points {(m1,μ1),(m2,μ2),(m3,μ3)} is f-Menelaus 6-figure with the three f-points (a,α), (b,β), (c,γ).
Definition 18.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}, with (bk,βk)∈(〈ai,aj〉,αi∧αj) for i≠j≠k, {i,j,k}={1,2,3}. If the f-lines (〈ai,bi〉,αi∧βi), i=1,2,3, are f-concurrent, the configuration that consists of these six f-points is called an f-Ceva 6-figure. The intersection point of the f-lines (〈ai,bi〉,αi∧βi), i=1,2,3, is called f-Ceva point.
Theorem 19.
Suppose that one has a fibered projective plane ℱ𝒫 with base plane 𝒫. Let a1, a2, a3 be three noncollinear points in 𝒫 and let (a1,α1), (a2,α2), (a3,α3) be three f-points of ℱ𝒫. Let points b1 and b2 be chosen such that b1 on 〈a2,a3〉 and b2 on 〈a1,a3〉. Suppose that the point b3 on 〈a1,a2〉 is obtained by intersecting 〈a1,a2〉 with the join (〈a1,b1〉∩〈a2,b2〉) and a3. Then the f-point (b3,β3) obtained by intersecting (〈a1,a2〉,α1∧α2) with the f-join of the two f-points (〈a1,b1〉,α1∧β1)∩(〈a2,b2〉,α2∧β2) and (a3,α3), where (b1,β1), (a2,α2), (a3,α3) and (b2,β2), (a1,α1), (a3,α3) are f-collinear, is independent of the chosen f-points (b1,β1) and (b2,β2).
Proof.
Since three f-points (a1,α1), (a3,α3),(b2,β2) and three f-points (a2,α2), (a3,α3), (b1,β1) are f-collinear, α1∧α3=α1∧β2=α3∧β2 and α2∧α3=α2∧β1=α3∧β1. One calculates that β3=α1∧α2∧α32, and hence the f-point (b3,β3) is independent of the chosen f-points (b1,β1) and (b2,β2).
Theorem 20.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi),i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and with (bj,βj)∈(〈ai,ak〉,αi∧αk) for i≠j≠k, {i,j,k}={1,2,3}. If the lines 〈a1,b1〉,〈a2,b2〉, and 〈a3,b3〉 in 𝒫 are concurrent, then three f-lines (〈ai,bi〉,αi∧βi), for i∈{1,2,3}, are f-concurrent if and only if α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
Proof.
A configuration is picked such that three f-points (a1,α1), (a2,α2), and (a3,α3) and (bj,βj)∈(〈ai,ak〉,αi∧αk) for i≠j≠k, {i,j,k}={1,2,3}. Suppose that three f-lines (〈ai,bi〉,αi∧βi), for i∈{1,2,3}, are f-concurrent. Then three membership degrees in f-concurrent point αi∧αj∧βi∧βj, i≠j, {i,j}={1,2,3}, are equal. Since three f-points (bj,βj)∈(〈ai,ak〉,αi∧αk), αi∧αj=αi∧βk=αj∧βk for i≠j≠k, {i,j,k}={1,2,3}, are valid, one can easily get α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
Conversely, by using f-points (bj,βj), (ai,αi), and (ak,αk) that are collinear for i≠j≠k, {i,j,k}={1,2,3}, in α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32, it is shown that the three values αi∧αj∧βi∧βj, i≠j, {i,j}={1,2,3}, are equal.
Corollary 21 (the fibered Ceva condition (FCC)).
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3} in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}with (bk,βk)∈(〈ai,aj〉,αi∧αj)fori≠j≠k, {i,j,k}={1,2,3}. The configuration that consists of these six f-points is Ceva 6-figure if and only if α12∧α2∧α3=α1∧α22∧α3=α1∧α2∧α32.
The following theorem shows that f-Ceva 6-figures can be obtained as a corollary of f-Menelaus 6-figures.
Theorem 22.
Let ℱ𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}, with (bk,βk)∈(〈ai,aj〉,αi∧αj) for i≠j≠k, {i,j,k}={1,2,3}; the three lines 〈ai,bi〉 are concurrent in 𝒫. If the configuration that consists of these six f-points is f-Menelaus 6-figure, it is f-Ceva 6-figure.
Proof.
Let the configuration picked, such that the three f-points (a1,α1), (a2,α2), and (a3,α3) and (bj,βj)∈(〈ai,ak〉,αi∧αk) for i≠j≠k, {i,j,k}={1,2,3}, be Menelaus 6-figure. Three membership degrees in f-intersection point of three f-lines (〈ai,bi〉,αi∧βi) are αi∧αj∧βi∧βj, i≠j, {i,j}={1,2,3}. It is easily seen that these are equal. So three f-lines (〈ai,bi〉,αi∧βi) for i∈{1,2,3} are f-concurrent.
The reverse of this theorem is not true in ℱ𝒫.
Fano projective plane, denoted by PG(2,2), consists of seven points and seven lines. Fano projective plane is only example that is both Menelaus 6-figure and Ceva 6-figure. Even if the base plane 𝒫of ℱ𝒫 is Fano plane, the reverse of the process is not always valid in ℱ𝒫.
Theorem 23.
Let ∧ be a triangular norm. Let ℱ𝒫 be any nontrivial fibered projective plane with base plane 𝒫, that is, Fano plane. Let three f-points be (ai,αi), i∈{1,2,3}, in ℱ𝒫 with noncollinear base points and the other three f-points (bk,βk), k∈{1,2,3}, with (bk,βk)∈(〈ai,aj〉,αi∧αj) for i≠j≠k, {i,j,k}={1,2,3}; the three lines 〈ai,bi〉 are concurrent in 𝒫. If the configuration that consists of these six f-points is f-Ceva 6-figure, it cannot be f-Menelaus 6-figure.
Proof.
The configuration is picked such that f-points (a1,0.5), (a2,0.5), (a3,0.5) and (b1,0.6), (b2,0.7), (b3,0.8) is f-Ceva 6-figure in ℱ𝒫. But, using the minimum operator for ∧, it is easily seen that the f-points (b1,0.6), (b2,0.7), and (b3,0.8) are not f-collinear.
4. Conclusion
In this paper, the fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane are defined. Although the conditions of the fibered versions of Menelaus and Ceva 6-figures are similar, the fibered versions of some of their properties in base projective plane cannot hold in fibered projective plane. f-Ceva 6-figure is obtained from f-Menelaus 6-figure automatically. Fano projective plane is both Menelaus 6-figure and Ceva 6-figure. But f-Menelaus 6-figure cannot be obtained from f-Ceva 6-figure in fibered projective plane with Fano plane. We have seen that the triangular norms have important role in the fiber versions of theorems related to theory.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
ZadehL. A.Fuzzy sets19658338353MR0219427ZBL0139.24606AkçaZ.BayarA.EkmekçiS.Van MaldeghemH.Fuzzy projective spreads of fuzzy projective spaces2006157243237324710.1016/j.fss.2006.08.005MR2286614ZBL1109.51002AkçaZ.BayarA.EkmekçiS.On the classification of fuzzy projective lines of fuzzy 3-dimensional projective space20065521723MR2319483ZBL1157.15301EkmekçiS.AkçaZ.BayarA.On the classification of fuzzy projective planes of fuzzy 3-dimensional projective space20094052146215110.1016/j.chaos.2007.10.002MR2533209ZBL1198.51011KuijkenL.Van MaldeghemH.KerreE.BillotA.Fuzzy projective geometries from fuzzy vector spaces1998Paris, FranceEditions Medicales et Scientifiques13311338KuijkenL.Van MaldeghemH.Fibered geometries20022551–325927410.1016/S0012-365X(01)00403-4MR1928279ZBL1022.51010BayarA.EkmekçiS.AkçaZ.A note on fibered projective plane geometry200817841257126210.1016/j.ins.2007.10.003MR2369561ZBL1139.51012KayaR.ÇiftçiS.On Menelaus and Ceva 6-figures in Moufang projective planes198519329529610.1007/BF00149369MR815208KellyF. B.2008University of LouisuilleKlamkinM. S.LiuA.Simultaneous generalizations of the theorems of Ceva and Menelaus1992651485210.2307/2691362MR1146594ZBL0756.51016CaterF. S.On Desarguesian projective planes19787443344110.1007/BF00152065MR512119ZBL0398.51003