给你一段历史行情,让你把上面所有的"头肩顶"圈出来。

再找一个同样熟悉形态的人,让他独立圈一遍。

你们圈出来的不会是同一批。 而且你们都能给自己圈的每一个说出理由。

请先记住这个场景,这一篇最后会回到它。

「事后可识别、事前不可证伪」——这句话在本手册里出现过至少四次(第 7 篇第 19 篇第 34 篇第 37 篇),但每一次都是结论,没有一次给了论证

在一份以「只写可查证的东西」为原则的手册里,这是个薄弱点。这一篇补上论证。

⚠️ 这一篇不讲怎么用形态,也不给任何形态的买卖规则。它讲的是这一类知识本身的性质

本系列仅用于记录与普及基础知识,不构成投资建议。

零、先说清楚在讨论什么

子类 例子 这一篇的处理
图表形态 头肩顶、双顶双底、三角形、旗形、杯柄 主要对象
K 线形态 锤子、十字星、吞没、早晨之星 ⭐ 第五节单独说,它性质不同

⚠️ 不包括画线体系(趋势线、斐波那契、波浪)——那一类的拆解在第 37 篇,方法通用。

一、⭐ 核心问题:形态没有定义,只有例子

翻开任何一本讲形态的书,「头肩顶」那一节给你的是一张图,配上「左肩、头部、右肩、颈线」的标注。

那是一个例子,不是一个定义。

打个比方

这就像教人认"帅哥":书上给你贴十张照片,说"这些就是"。

你看完确实有了感觉,也能对着一个人说出"像"或"不像"。但你没法把这个感觉交给一台机器,也没法保证换个人来评会得到一样的结果——因为你从来没有拿到过一条判据,你拿到的是一组样例。

⚠️ 这里最容易产生的反驳是:“可是我确实认得出来啊。“这话是真的,而且它不构成反驳。“能认出来"和"能被检验"是两件独立的事:前者只需要你自己看着像,后者要求任何两个人对着同一段数据得出同一个答案。这一篇讨论的是后者。

定义应该长成这样——能让两个人独立地对同一段数据得到同一个答案

左肩高点 H₁、头部高点 H₂、右肩高点 H₃
条件① H₂ > H₁ 且 H₂ > H₃
条件② |H₁ − H₃| ÷ H₂ < ε₁          (两肩对称容差)
条件③ 头部超出比例 (H₂−max(H₁,H₃)) ÷ H₂ > ε₂
条件④ 颈线斜率 |k| < ε₃
条件⑤ 三个高点之间的时间间隔在 [t_min, t_max] 内
条件⑥ 极值点怎么定义?用几根 K 线的滚动窗口?
...

⚠️ 教材里一个 ε 都没有给。

而没有 ε,「像不像」就只能由看的人来判断——于是同一段行情,不同的人会给出不同的答案。

⭐ 一个你今天就能做的实验

这不是思想实验,它可以被实际执行:

① 取一段 6 个月的日线图,打印或截图
② 请 5 个人各自独立标出所有头肩顶
③ 统计一致性(可以用 Cohen's κ 这类标注者一致性指标)

⚠️ 更狠的版本:只用你自己。 标一遍,隔两周,在不看第一次结果的前提下再标一遍。

如果你和两周前的自己都对不上,那么「这里有没有形态」这个问题在你身上就没有稳定答案。

而一个连同一个人在两个时点都无法复现的判断,第 37 篇第五节已经给过结论:它下游的一切统计都不成立,因为输入本身不可复现。

二、⭐ 规格化之后,自由度有多大

假设你认真了,把上面那些 ε 全部定死。现在它可回测了——但代价是什么?

数一数刚才那份规格里的连续参数:

ε₁ 两肩对称容差
ε₂ 头部超出比例
ε₃ 颈线斜率容差
t_min, t_max 时间跨度
极值点的滚动窗口长度
颈线破位的确认幅度
确认的时间限制
成交量条件(要不要,阈值多少)

至少 8 个,认真写会到 12 个。

⚠️ 而这些参数在任何教材里都没有给——它们是你自己挑的。挑的依据是什么?通常是「调到在历史图上看起来对」。

⭐ 接上第 38 篇:这是多重比较的教科书案例

8 个参数,每个扫 10 个值:

10⁸ = 一亿次试验

第 38 篇第七节那张表(5 年数据):

试过的次数 纯运气能达到的最高夏普
1,000 1.46
10,000 1.73

一亿次远在表外。 ⚠️ 意思是:在完全没有任何真实效应的前提下,一个八参数的形态识别器几乎必然能被调出一条漂亮的净值曲线。

⭐ 这就是「形态学有效」这个印象最主要的来源——不是市场里有形态,是参数空间足够大。

三、⭐ 真的有人做过:Lo, Mamaysky & Wang (2000)

必须公平地说:这件事在学术上被认真做过一次,而且做得很漂亮。

Andrew W. Lo, Harry Mamaysky, Jiang Wang
《Foundations of Technical Analysis: Computational Algorithms,
  Statistical Inference, and Empirical Implementation》
Journal of Finance, Vol. 55, No. 4, 2000

方法:用核回归(kernel regression)把价格曲线平滑,然后在平滑后的曲线上用极值点的几何条件自动识别 10 种形态(头肩顶/底、双顶/底、三角形顶/底、矩形顶/底、扩散顶/底)。样本是 1962–1996 年的美国上市股票。

完全机械、完全可复现、不需要任何人来看图。

结论:某些形态出现之后的条件收益分布,与无条件分布在统计上存在差异——也就是说,「形态出现」这件事不是完全没有信息

⚠️ 但这个结论必须配三个限定一起读

① 分布不同 ≠ 可盈利

统计上可区分的分布差异,和扣掉第 8 篇讲的往返成本之后还剩下的东西,完全是两回事。⭐ 按第 38 篇第三节的成本关,这一步淘汰率最高,而学术论文通常不设这一关。

② 它是「他们那一套平滑参数」下的结果

核回归有带宽参数。⚠️ 换一个带宽,识别出来的形态集合就变了。第 37 篇的跨定义检验:结论在带宽变化下稳不稳定,是一个必须单独回答的问题。

③ 时期与样本的稳定性

论文覆盖的是 1962–1996。按第 7 篇第六节的公开衰减,一个 2000 年发表的效应,之后还剩多少是另一个必须实测的问题。

这篇论文真正的贡献

不是「形态有效」,而是:

它证明了形态可以被机械化——从而可以被检验。

而这恰恰构成了对手工画形态的最强反驳:既然它可以被完全机械化,那么坚持用肉眼判断,就是在自愿保留一个不可复现的输入。

四、⭐ 「确认才算成立」是一个定义层面的选择偏差

这一节是全篇最重要的,因为它是规格化也修不好的问题。

形态的标准用法里都有「确认」这一步:颈线破位才算头肩顶成立、跌破前低才算双顶成立。

听起来很谨慎。但看一下它在数据上做了什么:

一个走成了头肩形状、但后来没有跌破颈线的走势
→ 按定义,它「不是头肩顶」
→ 于是它不进入你的统计样本

所有「失败的头肩顶」,按定义都不算头肩顶。

于是你的样本集是被结果定义的。你统计「头肩顶之后跌了多少」,而样本里全是那些确实跌了的——⚠️ 这个数字必然好看,且它不含任何关于未来的信息。

为什么这比「主观」严重得多

问题 能不能修
定义模糊(第一节) ✅ 能——把 ε 全写死(第二节)
自由度过大(第二节) 🟡 能缓解——按第 38 篇修正多重比较
确认引入的选择偏差 不能,它在定义层面

⚠️ 而且它在回测里不会显示为错误。 回测引擎忠实地按你的规则跑:找到形态、确认、进场、统计。规则本身自洽,代码没有 bug,结果偏乐观——没有任何一处会报错。

唯一的出路是改定义:把「形态」定义在确认之前(比如只用左肩、头、右肩三个点,不要求破颈线),然后统计全部这样的形状后面发生了什么——包括那些没有破颈线的。

这就不再是教材里那个头肩顶了,但它是唯一可检验的版本。

五、K 线形态:唯一可以干净检验的一块

K 线形态和图表形态性质不同,值得单独说。

⭐ 它的优点:参数少

看涨吞没:前一根收 < 开,后一根收 > 开,
          且后一根实体完全覆盖前一根实体
参数:实体覆盖比例阈值,最多再加一个影线条件

2–4 个参数,不是 12 个。 ⭐ 所以按第二节的自由度分析,K 线形态是形态学里唯一可以被干净检验的一块——它的多重比较负担小得多。

⚠️ 但它的信息含量最低

它是 OHLC 的确定性函数——第 34 篇分类里的第 1 类,零新信息它可检验,但它能检验出什么,天花板由这一点决定。

而它有一个致命的、可以立刻验证的弱点

K 线形态完全依赖于「一根 K 线」怎么切——而「开盘价」和「收盘价」这两个数,在 24 小时市场里是人为选的时间切点

美股:开盘 09:30、收盘 16:00,由交易所规定 —— 有真实含义
加密:7×24 不间断,「日线」的起点是数据方选的
      UTC 00:00?交易所本地时间?还是别的?

同一段加密行情,按 UTC 0 点切和按 8 点切,画出来是两套完全不同的 K 线——于是也是两套完全不同的形态。

⚠️ 而美股也不能完全免疫:盘前盘后的成交要不要算进当日 K 线,不同数据源做法不同(第 44 篇第一节)。

六、⭐ 一个今晚就能做完的证伪测试

上一节那个弱点,可以变成一个具体的、任何人都能跑的检验。这是第 37 篇跨定义检验在形态学上的具体化:

① 取同一份加密分钟数据
② 按三个不同起点各聚合出一套日线:UTC 00:00 / 08:00 / 16:00
③ 用同一套规格化的形态识别器,在三套日线上分别跑
④ 比较:
   - 识别出的形态数量
   - 形态出现的日期集合重合度
   - 形态之后的收益统计

判读

结果 含义
三套结果基本一致 🟢 你测的是价格结构
⚠️ 数量差不多但日期集合重合度低 你测的是切点
❌ 三套的收益统计结论不同 结论依赖切点,不依赖市场

这个测试的好处是它没有统计学门槛:不需要 t 检验、不需要 bootstrap,只要看三套结果对不对得上。而它能否决掉的东西非常多。

⚠️ 顺带一提:同一个测试也适用于任何以「日线」为单位的加密策略,不只是形态——包括你在第 30 篇里那些用日线收盘价的趋势规则。

七、放进三种用途里

第 34 篇第五节:

用途 图表形态 K 线形态
测量 没有稳定定义就不构成测量 ❌ 同上,且零新信息
纪律 🟡 ⭐ 它能给出明确的入场与止损位 🟡 同
预测 ❌ 见第二、四节

中间那一格值得说清楚,因为它和第 37 篇的结论完全一致:

形态提供的真正价值,是它给了你一个「结构上被证伪」的止损位——「跌破右肩就走」是一个明确、事前可写下、事后不可赖账的规则。

而这个价值来自「有一个明确规则」,不来自「这个规则是头肩顶」。

⚠️ 搞混的代价和缠论那一篇一模一样:亏了就去调 ε、换形态、换周期——而真正起作用的那条(有明确止损位并一致执行),从来不在这些争论里。

八、如果你还是想用形态

五步,顺序不能换:

① 写死所有 ε —— 写不出来就说明你还没有一个可检验的东西
② 编码,让它在没有你的情况下跑出同样的结果
③ 切点扰动测试(第六节)—— 最便宜,先跑这个
④ 把定义挪到「确认之前」(第四节)—— 否则样本是被结果定义的
⑤ 按第 38 篇过完整流水线,⚠️ 尤其是多重比较:如实记下你调过多少组 ε

第 ③ 步最便宜、淘汰率高、而且不消耗样本外数据——这是第 38 篇第二节的排序原理在这里的应用。

九、能回答和不能回答什么

问题
为什么说形态「事前不可证伪」 ✅ 第一、四节,这一篇给的就是论证
形态能不能被机械化 ——Lo/Mamaysky/Wang 已经做过
我的形态识别器结论稳不稳 ✅ 切点扰动测试,今晚就能跑
我调了多少次参数 ✅ 数得出来,而且必须如实记
形态给我的止损位有没有用 ✅ 有——但价值来自「规则明确」
这里是不是头肩顶 没有 ε 就没有答案
头肩顶的成功率是多少 ❌ ⚠️ 样本被「确认」定义过,这个数字不含未来信息
形态到底有没有用 ❌ 提法错了——先说是哪一种用途
我该用哪一套形态参数 ❌ 教材里没有,你只能自己定并承担多重比较的代价

十、这一篇的结论

回到开头那个场景:你和另一个人圈出的"头肩顶"不是同一批,而你们都说得出理由。这不是你们谁水平不够——是这个概念本身没有提供能让两个人对齐的判据。下面这条就是它的准确表述。

  • 形态没有定义,只有例子。 教材给的是标注过的图,不是能让两个人独立得到同一答案的判据——所有 ε 都缺席
  • 最狠的检验只需要你自己:标一遍,隔两周再标一遍。⚠️ 和两周前的自己对不上,就说明这个问题在你身上没有稳定答案——而不可复现的输入,让下游全部统计失效。
  • 规格化之后自由度是 8–12 个连续参数。八个参数各扫十个值就是一亿次试验,远在第 38 篇那张表之外。「形态有效」这个印象最主要的来源,是参数空间足够大,不是市场里有形态。
  • 学术上认真做过一次(Lo, Mamaysky & Wang, Journal of Finance 2000):核回归平滑 + 几何条件,全机械识别,发现条件收益分布确实与无条件分布不同。⚠️ 但三个限定必须一起读:没扣成本、依赖平滑带宽、样本止于 1996 年
  • 那篇论文真正的贡献不是「形态有效」,是「形态可以被机械化」——而这恰恰是对手工画形态最强的反驳:既然能机械化,坚持肉眼判断就是自愿保留一个不可复现的输入。
  • 「确认才算成立」是定义层面的选择偏差,而且规格化修不好它:所有失败的头肩顶按定义都不算头肩顶,于是样本集被结果定义它在回测里不会报错——规则自洽、代码正确、结果偏乐观。唯一出路是把定义挪到确认之前,但那就不是教材里那个形态了
  • K 线形态是唯一可干净检验的一块(2–4 个参数),但它同时是信息含量最低的一类(OHLC 的确定性函数)。
  • 而它有一个可立刻验证的致命弱点:24 小时市场里「一根日线」的起点是人为选的。同一段加密行情按 UTC 0 点切和 8 点切,是两套完全不同的形态。
  • 切点扰动测试是本篇最实用的产物:三个起点各聚合一套日线,跑同一个识别器,比日期集合的重合度。没有统计学门槛,却能否决掉很多东西——而且它同样适用于任何用日线收盘价的加密策略,不只是形态。
  • 形态唯一站得住的用途是纪律:它给出一个结构上被证伪的止损位。但这个价值来自「规则明确」,不来自「这个规则是头肩顶」——和第 37 篇完全一致。搞混的代价也一样:亏了就去调 ε、换形态、换周期,而真正起作用的那一条从来不在这些争论里