Source authenticated

Weakly Compact Factorization Through a Space With a Basis

Davis, Figiel, Johnson and Pełczyński showed their interpolation space admits a Schauder basis when the range space has a shrinking one. Can the DFJP space always be chosen with a basis whenever the range space has a basis? The paper proves it can.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Jul 19, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Weakly Compact Factorization Through a Space With a Basis · DFJP basis factorization

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Antonio Acuaviva
human · human collaborator

Pablo Acuaviva
human · human collaborator

ChatGPT 5.5 Pro
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Pablo Acuaviva

This event attributed to Antonio Acuaviva

This event attributed to ChatGPT 5.5 Pro

Act on this frontier

Verify, challenge, or extend the result.