26.12.2013 Views

A NULLSTELLENSATZ FOR AMOEBAS

A NULLSTELLENSATZ FOR AMOEBAS

A NULLSTELLENSATZ FOR AMOEBAS

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

A CHARACTERIZATION OF SUBSPACES AND QUOTIENTS 513<br />

(i) and (ii) still hold. But this is more or less obvious because if n = ⋃ k n<br />

i=k n−1 +1 σ i,<br />

then we define n = ⋃ k n<br />

i=k n−1 +1 η i and it is easy to check that { n , n } satisfy (i)<br />

and (ii). For a subsequence (σ nk ),ifwelet k = σ nk and define k = ⋃ n k+1 −1<br />

i=n k<br />

η i ,<br />

then { n , n } satisfy (i) and (ii). The rest is exactly the same as in [7, proof of Theorem<br />

4.4].<br />

<br />

The next lemma shows that for a reflexive space with a USB FDD, its dual also has a<br />

USB FDD.<br />

LEMMA 2.12<br />

Let X be a reflexive Banach space with a USB FDD (E n ). Then there is a blocking<br />

(F n ) of (E n ) such that (F ∗ n ) isaUSBFDDforX∗ .<br />

Proof<br />

Without loss of generality, we assume that (E n ) is monotone. Let (δ i ) be a sequence<br />

of positive numbers decreasing fast to zero. By the “killing the overlap” technique,<br />

we get a blocking (F n ) of (E n ) with F n = ∑ k n<br />

i=k n−1 +1 E i so that given any x = ∑ x i<br />

with x i ∈ E i , ‖x‖ =1, there is an increasing sequence (t n ) with k n−1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!