Strong uniqueness sets and \(t\)-analytic sets for \(H^\infty\) and \(H^\infty +C\) (Q641599): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:50, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong uniqueness sets and \(t\)-analytic sets for \(H^\infty\) and \(H^\infty +C\) |
scientific article |
Statements
Strong uniqueness sets and \(t\)-analytic sets for \(H^\infty\) and \(H^\infty +C\) (English)
0 references
24 October 2011
0 references
A subset \(E\) of the maximal ideal space \(M(A)\) of a Banach function algebra \(A\) is said to be: (a) a uniqueness set, provided \(f=0\) for every \(f\in A\) with \(f\equiv 0\) on \(E\) (\(E\neq\emptyset\)); (b) \(t\)-analytic, provided \(f\equiv 0\) on \(E\) for every \(f\in A\) with \(f\equiv 0\) on \(E\cap U\), where \(U\) is an arbitrary open set in \(M(A)\) that meets \(E\). The notion of \(t\)-analyticity was introduced for open sets by \textit{A. Daoui, H. Mahzouli} and \textit{E. H. Zerouali} [Proc. Am. Math. Soc. 131, No. 10, 3211--3220 (2003; Zbl 1052.47028)] and for general sets by \textit{J. F. Feinstein} and the author [Math. Z., in press]. Strong uniqueness sets, introduced in the present paper, are nonempty subsets \(E\) of \(M(A)\) such that \(f=0\) for every \(f\in A\) with \(f\equiv 0\) on \(U\cap E\), where \(U\) is an arbitrary open set in \(M(A)\) that meets \(E\). Interesting relationships between \(t\)-analytic and strong uniqueness sets for the algebra \(H^\infty\) of bounded analytic functions in the open unit disk \(\mathbb D\) in the complex plane, and for the Sarason algebra \(H^\infty+C\) are established in this paper. In particular, it is shown that a non-empty set \(E\subset M(H^\infty)\) that meets the Shilov boundary \(\partial H^\infty\) is \(t\)-analytic for \(H^\infty\) if and only if \(E\) is either a singleton or a strong uniqueness set for \(H^\infty\); \(t\)-analytic sets \(E\) in \(M(H^\infty)\setminus\mathbb D\) for the algebras \(H^\infty\) and \(H^\infty+C\) are the same; each \(t\)-analytic set for \(H^\infty+C\) that meets the Shilov boundary \(\partial(H^\infty+C)\) is a singleton; a non-empty and non-singleton subset of \(\mathbb D\) is a strong uniqueness set for \(H^\infty\) if and only if \(E\) is \(t\)-analytic for \(H^\infty\), if and only if \(E\) does not have isolated points; \(H^\infty+C\) does not have strong uniqueness sets. As a consequence, it is shown that the collection of closed \(t\)-analytic sets for \(H^\infty\) that meet \(\mathbb D\) consists of individual points of \(\mathbb D\), and sets of type \(K\cup\overline F\), where \(F\) is without isolated points and \(\emptyset\neq F\subset\mathbb D\), while \(K\) is either empty, or a closed strong uniqueness set for \(H^\infty\). The collection of closed \(t\)-analytic sets for \(H^\infty\) that are contained in \(M(H^\infty+C)\), i.e., the corona of \(H^\infty\), consist of \(t\)-analytic sets of \(H^\infty+C\) and closed strong uniqueness sets for \(H^\infty\) that are contained in \(\partial H^\infty\).
0 references
Banach function algebra
0 references
uniqueness set, bounded holomorphic functions, Sarason algebra
0 references