Let $K$ be a locally compact hypergroup with left Haar measure and let $L^1(K)$ be the complex Lebesgue space associated with it. Let $L^infty(K)$ be the dual of $L^1(K)$. The purpose of this paper is to present some necessary and sufficient conditions for $L^infty(K)^*$ to have a topologically left invariant mean. Some characterizations of amenable hypergroups are given.

Let M(S) be the Banach algebra of all bounded regular Borel measures on a locally compact Hausdorff semitopological semigroup S with variation norm and convolution as multiplication. We obtain necessary and sufficient conditions for M(S)∗ to have a topologically left invariant mean.

0

Let S be a discrete semigroup, m (S) the space of all bounded real functions on S with the usualsupremum norm. Let Acm (S) be a uniformly closed left invariant subalgebra of m (S) with 1 c A. We say that A is extremely left amenable if there isamultiplicative left invariant meanon A. Let P = {h ?A: h =|g-1,g | forsome g ?A, s ?S}. It isshown that . A is extremely left amenable if and only ...

In this paper we give some characterizations of topological extreme amenability. Also we answer a question raised by Ling [5]. In particular we prove that if T is a Borel subset of a locally compact semigroup S such that M(S)* has a multiplicative topological left invariant mean then T is topological left lumpy if and only if there is a multiplicative topological left invariant mean M on M(S)* ...