Eine grundlegende Eigenschaft von Vektorräumen ist, dass ein Vektorraum der Dimension durch linear unabhängige lineare Nebenbedingungen charakterisiert werden kann - das heißt, es gibt linear unabhängige Vektoren , die zu orthogonal sind .
Aus einer Fourier Sicht ist dies äquivalent zu der Aussage , dass die Indikatorfunktion von ist linear unabhängige Nicht-Null - Fourier - Koeffizienten. Man beachte , dass hat ungleich Null Fourierkoeffizienten insgesamt, aber nur von ihnen sind linear unabhängig.
Ich suche eine ungefähre Version dieser Eigenschaft von Vektorräumen. Konkret suche ich eine Stellungnahme in folgender Form:
Sei von der Größe . Dann hat die Indikatorfunktion höchstens linear unabhängige Fourier-Koeffizienten , deren Absolutwert mindestens beträgt .
Diese Frage kann aus der Perspektive "Struktur vs. Zufälligkeit" betrachtet werden. Intuitiv besagt eine solche Behauptung, dass jede große Menge in eine Summe aus einem Vektorraum und einer kleinen voreingenommenen Menge zerlegt werden kann. Es ist bekannt, dass jede Funktion in einen "linearen Teil" zerlegt werden kann, von dem großes Fourier hat Koeffizienten und ein "Pseudozufallsteil", der eine geringe Vorspannung aufweist. Meine Frage lautet, ob der lineare Teil nur eine logarithmische Anzahl linear unabhängiger Fourier-Koeffizienten hat.