Lowenファジー位相空間の関数空間と指数対象

We study exponentiable objects and function spaces in the category of stratified Lowen fuzzy topological spaces over \(\I=[0,1]\). Using the Lowen fuzzy Sierpiński object \(\Sier\), which identifies \(\tau_X\) with \(C(X,\Sier)\), we explicitly determine the largest splitting topology on this mapping set. Its open weights \(\Phi:\tau_X\to\I\) are precisely those satisfying Scott continuity and a finite-tier compatibility condition induced by finite powers of \(\Sier\). This yields an intrinsic characterization: \(X\) is exponentiable if and only if every \(\mu\in\tau_X\) satisfies \[ \mu=\bigvee_{\lambda\triangleleft\Phi} (\const{\Phi(\mu)}\wedge\lambda), \qquad \lambda\triangleleft\Phi \Longleftrightarrow \const{\Phi(\nu)}\wedge\lambda\leq\nu \quad(\nu\in\tau_X). \] When this condition holds, \(Y^X\) has underlying set \(C(X,Y)\), with topology generated by \([\Phi,v](f)=\Phi(v\circ f)\). We also obtain a dual closed-set formulation and three applications. Exponentiability implies that \(\tau_X\) is a continuous lattice, although the converse fails. Moreover, a classical space \(X\) is exponentiable exactly when its induced fuzzy space \(\omega X\) is exponentiable in the entire stratified Lowen category. Finally, Lowen compact, strongly fuzzy compact, and \(N\)-compact Hausdorff spaces are exponentiable.