On <Emphasis Type="Italic">s</Emphasis>-Elementary Super Frame Wavelets and Their Path-Connectedness

A super wavelet of length n is an n-tuple (ψ ₁,ψ ₂,…,ψ _n ) in the product space \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\), such that the coordinated dilates of all its coordinated translates form an orthonormal basis for \(\prod_{j=1}^{n} L^{2} (\mathbb{R})\). This concept is generalized to the so-called super frame wavelets, super tight frame wavelets and super normalized tight frame wavelets (or super Parseval frame wavelets), namely an n-tuple (η ₁,η ₂,…,η _n ) in \(\prod_{j=1}^{n}L^{2} (\mathbb{R})\) such that the coordinated dilates of all its coordinated translates form a frame, a tight frame, or a normalized tight frame for \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\). In this paper, we study the super frame wavelets and the super tight frame wavelets whose Fourier transforms are defined by set theoretical functions (called s-elementary frame wavelets). An m-tuple of sets (E ₁,E ₂,…,E _m ) is said to be τ-disjoint if the E _j ’s are pair-wise disjoint under the 2π-translations. We prove that a τ-disjoint m-tuple (E ₁,E ₂,…,E _m ) of frame sets (i.e., η _j defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\) is a frame wavelet for L ²(?) for each j) lead to a super frame wavelet (η ₁,η ₂,…,η _m ) for \(\prod_{j=1}^{m} L^{2} (\mathbb{R})\) where \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\). In the case of super tight frame wavelets, we prove that (η ₁,η ₂,…,η _m ), defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\), is a super tight frame wavelet for ∏_1≤j≤m L ²(?) with frame bound k ₀ if and only if each η _j is a tight frame wavelet for L ²(?) with frame bound k ₀ and that (E ₁,E ₂,…,E _m ) is τ-disjoint. Denote the set of all τ-disjoint s-elementary super frame wavelets for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}(m)\) and the set of all s-elementary super tight frame wavelets (with the same frame bound k ₀) for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}^{k_{0}}(m)\). We further prove that \(\mathfrak{S}(m)\) and \(\mathfrak{S}^{k_{0}}(m)\) are both path-connected under the ∏_1≤j≤m L ²(?) norm, for any given positive integers m and k ₀.