Induced \(I(L)\)-fuzzy topological vector spaces (Q5947579)

Starting with a vector space \(X\) over \(K\) and \(\delta\) an \(L\)-fuzzy topology on \(X\), the authors prove that \((L^X,\delta)\) is an \(L\)-fuzzy topological vector space if and only if \((I(L)^X\), \(\omega_{I(L)}(\delta))\) is an \(I(L)\)-fuzzy topological vector space, where \(I(L)\) is the \(L\)-fuzzy unit interval and \(\omega_{I(L)} (\delta)\) is the induced \(I(L)\)-fuzzy topology of the \(L\)-fuzzy topology \(\delta\). It is observed that the induced \(I(L)\)-fuzzy topological vector spaces \((I(L)^X,\omega_{I(L)} (\delta)\) preserve the product and quotient structures.