SearcharxivSearch

arXiv · 1404.5875

Fuzzy semiprime subsets of ordered groupoids (groupoids)

Abstract

A fuzzy subset $f$ of an ordered semigroup (or semigroup) $S$ is called fuzzy semiprime if $f(x)\ge f(x^2)$ for every $x\in S$ (Definition 1). Following the terminology of semiprime subsets of ordered semigroups (semigroups), the terminology of ideal elements of $poe$-semigroups (: ordered semigroups possessing a greatest element), and the terminology of ordered semigroups, in general, a fuzzy subset $f$ of an ordered semigroups (semigroup) should be called fuzzy semiprime if for every fuzzy subset $g$ of $S$ such that $g^2:=g\circ g\preceq f$, we have $g\preceq f$ (Definition 2). And this is because if $S$ is a semigroup or ordered semigroup, then the set of all fuzzy subsets of $S$ is a semigroup (ordered semigroup) as well. What is the relation between these two definitions? that is between the usual definition (Definition 1) we always use and the definition we give in the present paper (Definition 2) saying that that definition should actually be the correct one? The present paper gives the related answer.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Niovi Kehayopulu, Michael Tsingelis. 2014-04-22. Fuzzy semiprime subsets of ordered groupoids (groupoids). https://arxiv.org/abs/1404.5875

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM