Shrinking Schauder basis
= Shrinking Schauder basis
A Schauder basis is shrinking when its <dual sequence of a Schauder basis>[dual sequence] is a Schauder basis of the whole dual space. Every Schauder basis of a <reflexive Banach space> is shrinking.