Talk:Height: Difference between revisions

Revision as of 20:45, 25 April 2025 view source Fredg999 (talk \| contribs) autopatrolled, Interface administrators, Sysops 6,129 edits →Counterexample: Re ← Older edit		Revision as of 11:19, 26 April 2025 view source Sintel (talk \| contribs) autopatrolled 1,547 edits →Counterexample Newer edit →
Line 39:		Line 39:

	: Agreed. The [[Complexity]] page will also require an update, as it literally states that the complexity of an interval is called "height", whereas this counterexample shows that heights are a subset of interval complexity measures. --[[User:Fredg999\|Fredg999]] ([[User talk:Fredg999\|talk]]) 20:45, 25 April 2025 (UTC)		: Agreed. The [[Complexity]] page will also require an update, as it literally states that the complexity of an interval is called "height", whereas this counterexample shows that heights are a subset of interval complexity measures. --[[User:Fredg999\|Fredg999]] ([[User talk:Fredg999\|talk]]) 20:45, 25 April 2025 (UTC)

			:: Actually, I'm not really sure if we should be talking about height functions at all, since those properties aren't really used anywhere! The only place heights actuall show up is in the proof for Dirichlet (logflat) badness, where it's actually a height on temperaments, not intervals! And then the actual height functions we do end up using are actually just norms on some vector space. – [[User:Sintel\|Sintel🎏]] ([[User_talk:Sintel\|talk]]) 11:19, 26 April 2025 (UTC)